Completeness for systems including real numbers

DOI10.1007/BF00370634zbMath0683.03015MaRDI QIDQ1824613

Yanyan Li

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

completenessreal analysisphilosophy of sciencereal numbersclassical mechanicsphenomenological 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)

Related Items (1)

Criteria of theoreticity: bridging statement and non-statement view

Cites Work

• An architectonic for science. The structuralist program
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
• Unnamed Item
• Unnamed Item

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