Constructibility and Geometry

DOI10.1007/978-3-319-10434-8_8zbMATH Open1429.03064OpenAlexW43510126MaRDI QIDQ5213630FDOQ5213630

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

Recommendations

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

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)

Cites Work

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

Cited In (6)

• Title not available (Why is that?)
• Axiomatizing geometric constructions
• The axioms of constructive geometry
• Constructive methods in spatial geometry
• A constructive version of Tarski's geometry
• Contractibility of geometric structures

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)