Constructibility and Geometry

DOI10.1007/978-3-319-10434-8_8MaRDI QIDQ5213630zbMATH OpenOpenAlexFDO

Authors Alberto Naibo

Publication date 4 February 2020

Published in Boston Studies in the Philosophy and History of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10434-8_8

Mathematics Subject Classification ID

Logic in the philosophy of science (03A10) Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05)

Recommendations

• Constructive geometry
• Publication:4889879
• Constructive geometry, descriptive and analytic
• Axiomatizing geometric constructions
• scientific article; zbMATH DE number 1110791

Cites work

• scientific article; zbMATH DE number 3150814 (Why is no real title available?)
• scientific article; zbMATH DE number 3151263 (Why is no real title available?)
• scientific article; zbMATH DE number 5318491 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3930937 (Why is no real title available?)
• scientific article; zbMATH DE number 3651314 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 3627176 (Why is no real title available?)
• scientific article; zbMATH DE number 4128774 (Why is no real title available?)
• scientific article; zbMATH DE number 727991 (Why is no real title available?)
• scientific article; zbMATH DE number 1150714 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 204990 (Why is no real title available?)
• scientific article; zbMATH DE number 9972 (Why is no real title available?)
• scientific article; zbMATH DE number 3428899 (Why is no real title available?)
• scientific article; zbMATH DE number 3286020 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3291816 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• scientific article; zbMATH DE number 3363463 (Why is no real title available?)
• scientific article; zbMATH DE number 2247256 (Why is no real title available?)
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• A common axiom set for classical and intuitionistic plane geometry
• Automated development of Tarski's geometry
• Axiomatization of a Skolem function in intuitionistic logic
• Axiomatizing geometric constructions
• Combinatorial analysis of proofs in projective and affine geometry
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Constructive geometrical reasoning and diagrams
• Constructive geometry
• Constructivism in mathematics. An introduction. Volume II
• Constructivity in Geometry
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Early examples of resource-consciousness
• Elements of logical reasoning
• Hilbert, completeness and geometry
• In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
• Intuitionism. An introduction. 3rd revised ed
• On the normalization of numbers and functions defined by radicals
• Principles of programming languages
• Proof Analysis
• Rethinking geometrical exactness
• Structural proof theory. With an appendix by Aarne Ranta
• Systems of predicative analysis
• Tarski and geometry
• Tarski's System of Geometry
• The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 -- January 4, 1958
• The axioms of constructive geometry
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• The constructive Hilbert program and the limits of Martin-Löf type theory
• Validity concepts in proof-theoretic semantics

Cited in

(6)

• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• Axiomatizing geometric constructions
• The axioms of constructive geometry
• A constructive version of Tarski's geometry
• Constructive methods in spatial geometry
• Contractibility of geometric structures

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Constructibility and Geometry

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