Svenonius sentences and Lindström's theory on preservation theorems
M. Makkai (1972)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Ramified analysis and the minimal β-models of higher order arithmetics”
Svenonius sentences and Lindström's theory on preservation theorems
A large cardinal in the constructible universe
Jack Silver (1970)
Fundamenta Mathematicae
Similarity:
A construction for consistent systems
I. Novak (1950)
Fundamenta Mathematicae
Similarity:
ω-models of second order arithmetic and admissible sets
W. Marek (1978)
Fundamenta Mathematicae
Similarity:
On expansions of β-models
J. Bilý, L. Bukovský (1974)
Fundamenta Mathematicae
Similarity:
A note on the Mac Dowell-Specker theorem
Peter Clote (1987)
Fundamenta Mathematicae
Similarity:
On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
Theory of computing systems
W. Bartol, Z. Raś, A. Skowron (1977)
Banach Center Publications
Similarity:
Perfect set theorems for in the universe without choice
Zofia Adamowicz (1983)
Fundamenta Mathematicae
Similarity:
On the extending of models (IV)
J. Łoś, R. Suszko (1957)
Fundamenta Mathematicae
Similarity:
Models of second order arithmetic with definable Skolem functions
Andrzej Mostowski (1972)
Fundamenta Mathematicae
Similarity: