Uncountable cardinals have the same monadic ∀11positive theory over large sets

DOI10.4064/FM181-2-3MaRDI QIDQ4814930zbMATH OpenOpenAlexFDO

Authors Athanassios Tzouvaras

Publication date 19 August 2004

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL http://journals.impan.gov.pl/fm/Inf/181-2-3.html

zbMATH Keywords

expressiveness over transfinite cardinalsformulas with first-order quantificationmonadic second-order logic of orderpositive formulas with only one set variable

Mathematics Subject Classification ID

Ordinal and cardinal numbers (03E10) Nonclassical and second-order set theories (03E70)

Recommendations

• The monadic theory of \((\omega{}_ 2,<)\) may be complicated
• The gap-two cardinal problem for uncountable languages
• On the class of measurable cardinals without the axiom of choice
• The monadic theory of ω₂
• Expressing cardinality quantifiers in monadic second-order logic over chains

Cited in

(4)

• The monadic theory of \((\omega{}_ 2,<)\) may be complicated
• All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters
• scientific article; zbMATH DE number 5354049 (Why is no real title available?)
• Some structural similarities between uncountable sets, powersets and the universe

This page was built for publication: Uncountable cardinals have the same monadic ∀₁¹positive theory over large sets

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