scientific article; zbMATH DE number 5354049

MaRDI QIDQ3530398zbMATH OpenFDO

Authors Itay Neeman

Publication date 20 October 2008

zbMATH Keywords

ordinalmonadic second-order definable

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Ordinal and cardinal numbers (03E10)

Recommendations

• Finite state automata and monadic definability of singular cardinals
• Uncountable cardinals have the same monadic ∀₁¹positive theory over large sets
• Interpreting second-order logic in the monadic theory of order
• Expressing cardinality quantifiers in monadic second-order logic over chains
• The monadic theory of ω₂
• Monadic theories of wellorders
• DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω2
• Second-order characterizable cardinals and ordinals
• Tree Automata Make Ordinal Theory Easy
• scientific article; zbMATH DE number 1045974

Cited in

(6)

• Decidability and definability results related to the elementary theory of ordinal multiplication
• THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS
• Ordinal definability in Jensen's model
• Finite state automata and monadic definability of singular cardinals
• scientific article; zbMATH DE number 1045974 (Why is no real title available?)
• scientific article; zbMATH DE number 3991491 (Why is no real title available?)

This page was built for publication:

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