Uncountable cardinals have the same monadic ∀11positive theory over large sets
From MaRDI portal
Publication:4814930
DOI10.4064/fm181-2-3zbMath1051.03036OpenAlexW2042528014MaRDI QIDQ4814930
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
monadic second-order logic of orderexpressiveness over transfinite cardinalsformulas with first-order quantificationpositive formulas with only one set variable
Related Items