Search Sciweavers | Sciweavers

63

click to vote

AML
2005

66views more AML 2005»

Propositional logic of continuous transformations in Cantor space

14 years 10 months ago

Download theory.stanford.edu

Grigori Mints, Ting Zhang

claim paper

Read More »

50

click to vote

AML
2005

69views more AML 2005»

On the relationship between fixed points and iteration in admissible set theory without foundation

14 years 10 months ago

Download www.iam.unibe.ch

In this article we show how to use the result in J

Dieter Probst

claim paper

Read More »

45

Voted

AML
2005

41views more AML 2005»

A note on extensions of infinitary logic

14 years 10 months ago

Download shelah.logic.at

We show that a strong form of the so called Lindstr

Saharon Shelah, Jouko A. Väänänen

claim paper

Read More »

54

Voted

AML
2005

69views more AML 2005»

Epsilon substitution for transfinite induction

14 years 10 months ago

Download www.math.ucla.edu

We apply Mints' technique for proving the termination of the epsilon substitution method via cut-elimination to the system of Peano Arithmetic with Transfinite Induction give...

Henry Towsner

claim paper

Read More »

76

click to vote

AML
2005

81views more AML 2005»

A logical and algebraic treatment of conditional probability

14 years 10 months ago

Download www.mat.unisi.it

This paper is devoted to a logical and algebraic treatment of conditional probability. The main ideas are the use of non-standard probabilities and of some kind of standard part f...

Tommaso Flaminio, Franco Montagna

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers