Combinatorial analysis of proofs in projective and affine geometry

DOI10.1016/J.APAL.2010.08.005zbMath1225.03077OpenAlexW2023455024MaRDI QIDQ638479

Jan von Plato

Publication date: 12 September 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2010.08.005

zbMATH Keywords

affine geometryword problemprojective geometryproof analysis

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Structure of proofs (03F07) General theory of linear incidence geometry and projective geometries (51A05) Linear incidence geometric structures with parallelism (51A15) Affine analytic geometry (51N10) Projective analytic geometry (51N15)

Related Items (5)

A constructive real projective plane ⋮ Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations ⋮ GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE ⋮ Constructibility and Geometry ⋮ Il silenzio delle sirene: La matematica greca antica

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Permutability of rules in lattice theory.
• Cut Elimination in the Presence of Axioms
• Sequent calculus in natural deduction style
• Proof systems for lattice theory
• In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs

This page was built for publication: Combinatorial analysis of proofs in projective and affine geometry