The equiconsistency of two large cardinal axioms
E. Kleinberg (1979)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “A large cardinal in the constructible universe”
The equiconsistency of two large cardinal axioms
Cardinal multiplication of structures with a reflexive relation
Ralph McKenzie (1971)
Fundamenta Mathematicae
Similarity:
Svenonius sentences and Lindström's theory on preservation theorems
M. Makkai (1972)
Fundamenta Mathematicae
Similarity:
Ramified analysis and the minimal β-models of higher order arithmetics
Zygmunt Vetulani (1984)
Fundamenta Mathematicae
Similarity:
Dependences between definitions of finiteness
Ladislav Spišiak, Peter Vojtáš (1988)
Czechoslovak Mathematical Journal
Similarity:
On hereditarily separable Hausdorff spaces in the constructible universe
Keith Devlin (1974)
Fundamenta Mathematicae
Similarity:
Defining cardinal addition by ≤-formulas
Alexander Häussler (1983)
Fundamenta Mathematicae
Similarity:
Theory of computing systems
W. Bartol, Z. Raś, A. Skowron (1977)
Banach Center Publications
Similarity: