An Intuitionistic Axiomatisation of Real Closed Fields

DOI10.1002/1521-3870(200202)48:2%3C297::AID-MALQ297%3E3.0.CO;2-GMaRDI QIDQ4531092zbMATH OpenOpenAlexFDO

Authors Erik Palmgren

Publication date 29 May 2002

Full work available at URL https://doi.org/10.1002/1521-3870(200202)48:2%3C297::aid-malq297%3E3.0.co;2-g

zbMATH Keywords

constructive realsintuitionistic axiomatisationreal closed fields

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Other constructive mathematics (03F65) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15)

Recommendations

• On a universal axiomatization of the real closed fields
• scientific article; zbMATH DE number 3884272
• Structures associated with real closed fields and the axiom of choice
• A construction of real closed fields
• Some model theory for almost real closed fields
• Real closed fields and models of Peano arithmetic
• scientific article; zbMATH DE number 1263362
• scientific article; zbMATH DE number 4008374
• First-order continuous induction and a logical study of real closed fields
• A bibliography of quantifier elimination for real closed fields

Cites work

• Constructivism in mathematics. An introduction. Volume I
• scientific article; zbMATH DE number 1082910 (Why is no real title available?)

Cited in

(28)

• The real-algebraic structure of Scott's model of intuitionistic analysis
• Negation-free and contradiction-free proof of the Steiner-Lehmus theorem
• Generalizing theorems in real closed fields
• On the Morse theory of attractors: a functional approach
• On the proof theory of infinitary modal logic
• Morse theory and Lyapunov stability on manifolds
• Morse decomposition of semiflows on topological spaces
• Constructive completions of ordered sets, groups and fields
• Morse decomposition of global attractors with infinite components
• Geometrisation of first-order logic
• Coinductive field of exact real numbers and general corecursion
• Smooth Morse-Lyapunov functions of strong attractors for differential inclusions
• A formalization of Kant's transcendental logic
• Morse decompositions and Lyapunov functions for dynamically gradient multivalued semiflows
• The Elementary Theory of Interval Real Numbers
• scientific article; zbMATH DE number 4150341 (Why is no real title available?)
• A note on the axiomatisation of real numbers
• MORSE DECOMPOSITION, ATTRACTORS AND CHAIN RECURRENCE
• scientific article; zbMATH DE number 29408 (Why is no real title available?)
• scientific article; zbMATH DE number 1200270 (Why is no real title available?)
• Continuity of Lyapunov functions and of energy level for a generalized gradient semigroup
• Geometric theories for the algebra of real numbers
• scientific article; zbMATH DE number 1843596 (Why is no real title available?)
• The theory of integrally closed domains is not finitely axiomatizable
• Attractors of local semiflows on topological spaces
• About Grothendieck fibrations
• Morse equation of attractors for nonsmooth dynamical systems
• Geometric theories in inquisitive modal logic

This page was built for publication: An Intuitionistic Axiomatisation of Real Closed Fields

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