scientific article; zbMATH DE number 5354049
From MaRDI portal
Publication:3530398
zbMATH Open1159.03026MaRDI QIDQ3530398FDOQ3530398
Publication date: 20 October 2008
Title of this publication is not available (Why is that?)
Recommendations
- Finite state automata and monadic definability of singular cardinals
- Uncountable cardinals have the same monadic ∀11positive 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 ω2
- 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
Automata and formal grammars in connection with logical questions (03D05) Ordinal and cardinal numbers (03E10)
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
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
