Order with successors is not interprétable in RCF

DOI10.4064/FM-143-3-281-285zbMATH Open0794.03018OpenAlexW963895916MaRDI QIDQ4282771FDOQ4282771

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

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

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)

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)