The field of reals is not -automatic

DOI10.4230/LIPICS.STACS.2012.577MaRDI QIDQ2904795zbMATH OpenFDO

Authors Faried Abu Zaid, Erich Grädel, Łukasz Kaiser

Publication date 23 August 2012

Full work available at URL https://doi.org/10.4230/LIPICS.STACS.2012.577

zbMATH Keywords

algorithmic model theoryautomatic structures

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• Model-theoretic properties of \(\omega\)-automatic structures
• The field of the reals and the random graph are not finite-word ordinal-automatic
• Automatic Structures: Richness and Limitations
• Cardinality and counting quantifiers on omega-automatic structures
• First-order and counting theories ofω-automatic structures

Cited in

(4)

• Model-theoretic properties of \(\omega\)-automatic structures
• scientific article; zbMATH DE number 1200270 (Why is no real title available?)
• Cardinality and counting quantifiers on omega-automatic structures
• The field of the reals and the random graph are not finite-word ordinal-automatic

This page was built for publication: The field of reals is not \(\omega\)-automatic

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