Characterizing all models in infinite cardinalities

DOI10.1016/j.apal.2012.10.012zbMath1269.03038OpenAlexW2098800274MaRDI QIDQ1935865

Lauri Keskinen

Publication date: 19 February 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.10.012

zbMATH Keywords

higher-order logicgeneralized quantifiercategoricityinfinitary languagesWoodin cardinal

Mathematics Subject Classification ID

Consistency and independence results (03E35) Second- and higher-order model theory (03C85) Set-theoretic model theory (03C55) Categoricity and completeness of theories (03C35) Abstract model theory (03C95)

Related Items (1)

Quantum mechanics, formalization and the cosmological constant problem

This page was built for publication: Characterizing all models in infinite cardinalities