[unknown]
Roman Kossak (1984)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “On elementary cuts in models of arithmetic”
[unknown]
On elementary cuts in recursively saturated models of Peano Arithmetic
Henryk Kotlarski (1984)
Fundamenta Mathematicae
Similarity:
Indicators, recursive saturation and expandability
L. Kirby, K. McAllon, R. Murawski (1981)
Fundamenta Mathematicae
Similarity:
On Sigma10-extensions of Omega
Žarko Mijajlović (1983)
Publications de l'Institut Mathématique
Similarity:
Results on automorphisms of recursively saturated models of PA
Roman Kossak, Henryk Kotlarski (1988)
Fundamenta Mathematicae
Similarity:
A few Remarks on n-infinite Forcing Companions
Milan Z. Grulović (2007)
Publications de l'Institut Mathématique
Similarity:
A note on the Mac Dowell-Specker theorem
Peter Clote (1987)
Fundamenta Mathematicae
Similarity:
Mutually generic classes and incompatible expansions
Matt Kaufmann (1984)
Fundamenta Mathematicae
Similarity:
Some problem in elementary arithmetics
D. Jensen, A. Ehrenfeucht (1976)
Fundamenta Mathematicae
Similarity:
Applications of formalized consistency proofs II
G. Kreisel, Hao Wang (1958)
Fundamenta Mathematicae
Similarity: