scientific article; zbMATH DE number 4150341

zbMATH Open0702.12007MaRDI QIDQ3480176FDOQ3480176

Authors: Patrick Cégielski 

Publication date: 1990

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

• A VERSION OF KRIPKE‐PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC
• Title not available (Why is that?)
• 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)