Constructibility and Geometry

DOI10.1007/978-3-319-10434-8_8zbMath1429.03064OpenAlexW43510126MaRDI QIDQ5213630

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

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

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive geometrical reasoning and diagrams
• Rethinking geometrical exactness
• Combinatorial analysis of proofs in projective and affine 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 constructive Hilbert program and the limits of Martin-Löf type theory
• Principles of programming languages
• Constructivism in mathematics. An introduction. Volume II
• A common axiom set for classical and intuitionistic plane geometry
• On the normalization of numbers and functions defined by radicals
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Automated development of Tarski's geometry
• Early examples of resource-consciousness
• The axioms of constructive geometry
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Axiomatizing geometric constructions
• Validity concepts in proof-theoretic semantics
• Intuitionism. An introduction. 3rd revised ed
• Constructivity in Geometry
• Hilbert, completeness and geometry
• Proof Analysis
• Tarski and geometry
• Tarski's System of Geometry
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Systems of predicative analysis
• In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS

This page was built for publication: Constructibility and Geometry