Notes on cardinals that are characterizable by a complete (Scott) sentence

DOI10.1215/00294527-2798727zbMath1338.03072arXiv1007.2426OpenAlexW3104260029WikidataQ59166141 ScholiaQ59166141MaRDI QIDQ2258542

Ioannis Souldatos

Publication date: 26 February 2015

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

Full work available at URL: https://arxiv.org/abs/1007.2426

zbMATH Keywords

infinitary logiccharacterizable cardinalsScott sentencecomplete sentence

Mathematics Subject Classification ID

Applications of set theory (03E75) Other infinitary logic (03C75) Ordinal and cardinal numbers (03E10) Set-theoretic model theory (03C55) Categoricity and completeness of theories (03C35) Other model constructions (03C30)

Related Items (5)

Linear orderings and powers of characterizable cardinals ⋮ Complete Lω1,ω‐sentences with maximal models in multiple cardinalities ⋮ Non-absoluteness of Hjorth’s cardinal characterization ⋮ Kurepa trees and spectra of \(\mathcal{L}_{\omega_1, \omega}\)-sentences ⋮ DISJOINT AMALGAMATION IN LOCALLY FINITE AEC

Cites Work

• Unnamed Item
• Linear orderings and powers of characterizable cardinals
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• A complete L_ω1ω-sentence characterizing ℵ₁
• The Hanf number for complete L_ω1,ω-sentences (without GCH)
• KNIGHT'S MODEL, ITS AUTOMORPHISM GROUP, AND CHARACTERIZING THE UNCOUNTABLE CARDINALS
• Incompactness in languages with infinitely long expressions

This page was built for publication: Notes on cardinals that are characterizable by a complete (Scott) sentence