Three Days of Ω-logic(<Special Section>Mathematical Logic and Its Applications)

DOI10.4288/jafpos.19.0_57zbMath1274.03078OpenAlexW438128890MaRDI QIDQ2837232

Paul B. Larson

Publication date: 10 July 2013

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos.19.0_57

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other aspects of forcing and Boolean-valued models (03E40) Determinacy principles (03E60)

Related Items (1)

Boolean-valued second-order logic

This page was built for publication: Three Days of Ω-logic(<Special Section>Mathematical Logic and Its Applications)