Boolean Ultrapowers.
Klaus Potthoff (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Ultrapowers and Boolean ultrapowers of ... and ...1.”
Boolean Ultrapowers.
Cofinalities of complete Boolean algebras.
Sabine Koppelberg (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On the reconstruction of Boolean algebras from their automorphism groups.
Matatyahu Rubin (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A note on ...-categorical model-companions.
Volker Weispfennig (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A lower bound for the complexity of Craig's interpolants in sentinential logic.
Daniele Mundici (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Solving algebraic problems in propositional logic by tableau.
R.H. Cowen (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hierarchies of number-theoretic functions. II.
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hierarchies of number-theoretic functions. I.
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Liberated versions of T, S4, and S5.
Charles G. Morgan (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hanf numbers and well-ordering numbers.
Jörg Flum (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: