scientific article; zbMATH DE number 4150341

MaRDI QIDQ3480176zbMATH OpenFDO

Authors Patrick Cégielski

Publication date 1990

zbMATH Keywords

inductive real-closed fieldsordered ringsPeano Arithmetictotally ordered fieldunary predicate

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Model theory (number-theoretic aspects) (11U09) Ordered fields (12J15) Model theory of fields (12L12)

Recommendations

• scientific article; zbMATH DE number 4185776
• Real closures of models of weak arithmetic
• An Intuitionistic Axiomatisation of Real Closed Fields
• Real closed fields and models of Peano arithmetic
• An Effective Conservation Result for Nonstandard Arithmetic

Cited in

(5)

• Generalizing theorems in real closed fields
• Real closures of models of weak arithmetic
• A VERSION OF KRIPKE‐PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC
• scientific article; zbMATH DE number 4185776 (Why is no real title available?)
• A list of arithmetical structures complete with respect to the first-order definability

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 Q3480176)