Order with successors is not interprétable in RCF

DOI10.4064/FM-143-3-281-285MaRDI QIDQ4282771zbMATH OpenOpenAlexFDO

Authors Stanislaw Świerczkowski

Publication date 11 September 1994

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/212009, http://matwbn.icm.edu.pl/ksiazki/fm/fm143/fm14322.pdf

zbMATH Keywords

interpretationreal closed fieldsuccessorreal number fieldfirst-order theory of linear order

Mathematics Subject Classification ID

Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30)

Recommendations

• A class of connected theories of order
• Theories of real numbers and interpretability
• scientific article; zbMATH DE number 1228758
• Peano arithmetic may not be interpretable in the monadic theory of linear orders
• Random graphs in the monadic theory of order

Cited in

(2)

• A class of connected theories of order
• Theories of real numbers and interpretability

This page was built for publication: Order with successors is not interprétable in RCF

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