Quantifying over the reals

MaRDI QIDQ1344188zbMATH OpenFDO

Authors Philip Hugly, Charles Sayward

Publication date 9 February 1995

Published in Synthese (Search for Journal in Brave)

zbMATH Keywords

intuitionismquantification over the real numberssubstitutional construal of quantification

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• On real numbers
• scientific article; zbMATH DE number 898045
• Quantifiers and approximation
• Theories of real numbers and interpretability
• Quantitatively hyper-positive real functions
• scientific article; zbMATH DE number 221408
• Reals by abstraction
• Counting problems over the reals

Cited in

(5)

• Quantification and ontology
• The Expressivity of Quantifying over Regions
• Over-assignment of structure
• Peter van Inwagen, substitutional quantification, and ontological commitment
• scientific article; zbMATH DE number 898045 (Why is no real title available?)

This page was built for publication: Quantifying over the reals

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