scientific article; zbMATH DE number 4150341

MaRDI QIDQ3480176zbMATH OpenFDO

Authors Patrick Cégielski

Publication date 1990

zbMATH Keywords

ordered ringsPeano Arithmetictotally ordered fieldunary predicateinductive real-closed fields

Mathematics Subject Classification ID

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

Recommendations

• Publication:5750978
• 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

(4)

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

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)