Wyniki wyszukiwania

1

Finite sets and Gödel's incompleteness theorems

100%

Świerczkowski S.

Instytut Matematyczny Polskiej Akademii Nauk

EN

We give complete proofs of the two famous incompleteness theorems of Gödel. However, instead of the usual choice of Peano Arithmetic, we take the theory of hereditarily finite sets as the basis for the presentation.

2

Order with successors is not interprétable in RCF

94%

Świerczkowski S.

Fundamenta Mathematicae

|

1993

|

tom 143

|

nr 3

281-285

EN

Using the monotonicity theorem of L. van den Dries for RCF-definable real functions, and a further result of that author about RCF-definable equivalence relations on ℝ, we show that the theory of order with successors is not interpretable in the theory RCF. This confirms a conjecture by J. Mycielski, P. Pudlák and A. Stern.

3

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

Twierdzenie Titchmarsha o splocie i teoria Dufresnoy

60%

Mikusiński J., Świerczkowski S.

Commentationes Mathematicae

|

1960

|

tom 4

|

nr 1

EN

The article contains no abstract

4

On the intersection of a linear set with the translation of its complement

48%

Świerczkowski S.

Colloquium Mathematicum

|

1957-1958

|

tom 5

|

nr 2

185-197

5

On free groups of motions and decompositions of the Euclidean space

42%

Mycielski J., Świerczkowski S.

Fundamenta Mathematicae

|

1958

|

tom 45

|

nr 1

286-199

6

On the Lebesgue measurability and the axiom of determinateness

42%

Mycielski J., Świerczkowski S.

Fundamenta Mathematicae

|

1964

|

tom 54

|

nr 1

67-71

7

On successive settings of an arc on the circumference of a circle

42%

Świerczkowski S.

Fundamenta Mathematicae

|

1958-1959

|

tom 46

|

nr 2

187-189

8

Algebras which are independently generated by every n elements

42%

Świerczkowski S.

Fundamenta Mathematicae

|

1960-1961

|

tom 49

|

nr 1

93-104

9

A description of the tangent functor category

42%

Świerczkowski S.

Colloquium Mathematicum

|

1974

|

tom 31

|

nr 2

165-178

10

On the number of lattice points inside a closed curve

36%

Fast H., Świerczkowski S.

Colloquium Mathematicum

|

1958

|

tom 6

|

nr 1

211-214

11

Embeddings in groups of countable permutations

36%

Knaser M., Świerczkowski S.

Colloquium Mathematicum

|

1959-1960

|

tom 7

|

nr 2

177-179

12

Decomposition of the line in isometric three-point sets

36%

Sands A. D., Świerczkowski S.

Fundamenta Mathematicae

|

1959-1960

|

tom 48

|

nr 3

361-362

13

On cyclically ordered intervals of integers

36%

Świerczkowski S.

Fundamenta Mathematicae

|

1959

|

tom 47

|

nr 2

167-172

14

On the independence of continuous functions

36%

Świerczkowski S.

Fundamenta Mathematicae

|

1963

|

tom 52

|

nr 1

41-58

15

Finite subgroups of locally compact groups

36%

Świerczkowski S.

Colloquium Mathematicum

|

1970

|

tom 21

|

nr 1

53-54

16

A characterization of the ball

30%

Lickorish W. B. R., Świerczkowski S.

Colloquium Mathematicum

|

1964

|

tom 13

|

nr 2

235-246

17

Measures in homogeneous spaces

30%

Macbeath A. M., Świerczkowski S.

Fundamenta Mathematicae

|

1960-1961

|

tom 49

|

nr 1

15-24

18

On some equation in transfinite ordinals

30%

Świerczkowski S.

Fundamenta Mathematicae

|

1958

|

tom 45

|

nr 1

217-227

19

Some remarks on inaccessible alephs

30%

Świerczkowski S.

Colloquium Mathematicum

|

1959-1960

|

tom 7

|

nr 1

27-30

20

A sufficient condition for independence

30%

Świerczkowski S.

Colloquium Mathematicum

|

1962

|

tom 9

|

nr 1

39-42

Ograniczanie wyników

Finite sets and Gödel's incompleteness theorems

Order with successors is not interprétable in RCF

Twierdzenie Titchmarsha o splocie i teoria Dufresnoy

On the intersection of a linear set with the translation of its complement

On free groups of motions and decompositions of the Euclidean space

On the Lebesgue measurability and the axiom of determinateness

On successive settings of an arc on the circumference of a circle

Algebras which are independently generated by every n elements

A description of the tangent functor category

On the number of lattice points inside a closed curve

Embeddings in groups of countable permutations

Decomposition of the line in isometric three-point sets

On cyclically ordered intervals of integers

On the independence of continuous functions

Finite subgroups of locally compact groups

A characterization of the ball

Measures in homogeneous spaces

On some equation in transfinite ordinals

Some remarks on inaccessible alephs

A sufficient condition for independence