Completeness for systems including real numbers

DOI10.1007/BF00370634MaRDI QIDQ1824613zbMATH OpenFDO

Authors Yanyan Li

Publication date 1989

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

real analysiscompletenessclassical mechanicsphilosophy of sciencereal numbersphenomenological thermodynamicsaxiomatic treatments of empirical theoriesexchange economicsmany- sorted languages

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Categoricity and completeness of theories (03C35)

Recommendations

• A proof of completeness for continuous first-order logic
• Theories of real numbers and interpretability
• scientific article; zbMATH DE number 3875239
• A complete theory of natural, rational, and real numbers
• Real numbers and other completions

Cites work

• scientific article; zbMATH DE number 3499747 (Why is no real title available?)
• scientific article; zbMATH DE number 3079157 (Why is no real title available?)
• An architectonic for science. The structuralist program
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures

Cited in

(1)

• Criteria of theoreticity: bridging statement and non-statement view

This page was built for publication: Completeness for systems including real numbers

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