On elementary cuts in recursively saturated models of Peano Arithmetic
Henryk Kotlarski (1984)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Some problem in elementary arithmetics”
On elementary cuts in recursively saturated models of Peano Arithmetic
[unknown]
Roman Kossak (1984)
Fundamenta Mathematicae
Similarity:
On Sigma10-extensions of Omega
Žarko Mijajlović (1983)
Publications de l'Institut Mathématique
Similarity:
On the decision problem for extensions of a decidable theory
Verena Huber Dyson (1969)
Fundamenta Mathematicae
Similarity:
Results on automorphisms of recursively saturated models of PA
Roman Kossak, Henryk Kotlarski (1988)
Fundamenta Mathematicae
Similarity:
Indicators, recursive saturation and expandability
L. Kirby, K. McAllon, R. Murawski (1981)
Fundamenta Mathematicae
Similarity:
On the number of models of the Kelley-Morse theory of classes
W. Marek, Paweł Zbierski (1980)
Fundamenta Mathematicae
Similarity:
On elementary cuts in models of arithmetic
Henryk Kotlarski (1983)
Fundamenta Mathematicae
Similarity:
A note on the Mac Dowell-Specker theorem
Peter Clote (1987)
Fundamenta Mathematicae
Similarity:
Models of second order arithmetic with definable Skolem functions
Andrzej Mostowski (1972)
Fundamenta Mathematicae
Similarity: