Characterizing all models in infinite cardinalities

DOI10.1016/J.APAL.2012.10.012MaRDI QIDQ1935865zbMATH OpenOpenAlexFDO

Authors 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

categoricitygeneralized quantifierhigher-order logicinfinitary languagesWoodin cardinal

Mathematics Subject Classification ID

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

Review text

Let \(A(L,\kappa)\) denote the following condition: For any models \(\mathfrak{A}\) and \(\mathfrak{B}\) of cardinality \(\kappa\), if \(\mathfrak{A}\) and \(\mathfrak{B}\) satisfy the same \(L\)-theory then they are isomorphic. Let \(L^n\) denote \(n\)th order logic. It was shown by \textit{M. Ajtai} [Ann. Math. Logic 16, 181--203 (1979; Zbl 0415.03044)] that \(A(L^2,\omega)\) is independent of ZFC. Here the author continues and extends the work of Ajtai. He asks: what kind of a logic \(L\) is needed to characterize all models of cardinality \(\kappa\) (in a finite vocabulary) up to isomorphism by their \(L\)-theories? Of course, \(L_{\kappa^+,\kappa^+}\) is enough. So he looks for small definable logics, i.e., logics for which the sentences are hereditarily of smaller cardinality than \(\kappa\). He shows that for any cardinal \(\kappa\) it is independent of ZFC whether such a small definable logic exists. It can be second-order logic in case \(\kappa = \omega\). For uncountable \(\kappa\) it can be fourth-order logic or a certain infinitary second-order logic \(L^2_{\kappa,\omega}\). He also investigates the role of generalized quantifiers.

Recommendations

• scientific article; zbMATH DE number 4081522
• On the independence property of first-order theories and indiscernible sequences
• scientific article; zbMATH DE number 1163948
• PRIMITIVE INDEPENDENCE RESULTS
• The nonaxiomatizability of \(L(Q^ 2_{\aleph_ 1})\) by finitely many schemata
• The Hanf numbers of stationary logic. II: Comparison with other logics
• scientific article; zbMATH DE number 591406
• A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals
• On the homogeneity property for certain quantifier logics

Cited in

(8)

• Cardinality logics. I: Inclusions between languages based on ``exactly
• On the nonaxiomatizability of some logics by finitely many schemas
• Quantum mechanics, formalization and the cosmological constant problem
• All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters
• Downward transfer of satisfiability for sentences of L^1,1
• Sur l'existence de modèles du second ordre non dénombrables avec domaine du premier ordre dénombrable
• On second-order characterizability
• Second-order characterizable cardinals and ordinals

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1935865)