A complete Lω1ω-sentence characterizing ℵ1

DOI10.2307/2272318zbMath0426.03037OpenAlexW2575297946MaRDI QIDQ3861365

Julia F. Knight

Publication date: 1977

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272318

zbMATH Keywords

Skolem functionsinfinite cardinalelementary embeddingScott sentencecomplete sentence

Mathematics Subject Classification ID

Large cardinals (03E55) Other infinitary logic (03C75)

Related Items (7)

KNIGHT'S MODEL, ITS AUTOMORPHISM GROUP, AND CHARACTERIZING THE UNCOUNTABLE CARDINALS ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ Linear orderings and powers of characterizable cardinals ⋮ Characterizing the existence of a Borel complete expansion ⋮ Notes on cardinals that are characterizable by a complete (Scott) sentence ⋮ Three red herrings around Vaught’s conjecture ⋮ Orbit cardinals: On the effective cardinalities arising as quotient spaces of the form \(X/G\) where \(G\) acts on a Polish space \(X\)

Cites Work

• Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)

This page was built for publication: A complete L_ω1ω-sentence characterizing ℵ₁