Covering of ordinals

DOI10.4230/LIPICS.FSTTCS.2009.2310MaRDI QIDQ2920116zbMATH OpenFDO

Authors Laurent Braud

Publication date 24 October 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_33ef.html

zbMATH Keywords

monadic second-order logicfundamental sequenceprefix-recognizable graphsordinal theorypushdown hierarchy

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Computable structure theory, computable model theory (03C57) Hierarchies of computability and definability (03D55)

Recommendations

• Ordinals. I: Basic notions
• scientific article; zbMATH DE number 3099839
• scientific article; zbMATH DE number 4016884
• DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω2
• Built-up systems of fundamental sequences and hierarchies of number-theoretic functions

Cited in

(3)

• scientific article; zbMATH DE number 5657426 (Why is no real title available?)
• scientific article; zbMATH DE number 3099839 (Why is no real title available?)
• On elementary theories of ordinal notation systems based on reflection principles

This page was built for publication: Covering of ordinals

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