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

DOI10.4064/fm181-2-3zbMath1051.03036OpenAlexW2042528014MaRDI QIDQ4814930

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

monadic second-order logic of orderexpressiveness over transfinite cardinalsformulas with first-order quantificationpositive formulas with only one set variable

Mathematics Subject Classification ID

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

Related Items (1)

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