Compactness and transfer for a fragment of L2

DOI10.2307/2272128zbMath0394.03016OpenAlexW1995822395MaRDI QIDQ4175257

Jerome I. Malitz, Menachem Magidor

Publication date: 1977

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272128

zbMATH Keywords

TransferCompactnessPredicate CalculusFragmentBinary QuantifierSuslin Tree

Mathematics Subject Classification ID

Large cardinals (03E55) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• SOUSLIN'S PROBLEM
• The fine structure of the constructible hierarchy

This page was built for publication: Compactness and transfer for a fragment of L²