The nonaxiomatizability of \(L(Q^ 2_{\aleph_ 1})\) by finitely many schemata

DOI10.1305/NDJFL/1093635328zbMath0707.03031OpenAlexW1992712351MaRDI QIDQ918971

Saharon Shelah, Charles I. Steinhorn

Publication date: 1990

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635328

zbMATH Keywords

homogeneous setaxiom schemaMagidor-Malitz quantifier

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Abstract model theory (03C95)

Related Items (1)

Characterizing all models in infinite cardinalities

This page was built for publication: The nonaxiomatizability of \(L(Q^ 2_{\aleph_ 1})\) by finitely many schemata