Correction to “Axiomatizations of Hyperbolic Geometry”

Synthese 145 (3):497-497 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s11229-004-5405-5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,963

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (1):129-136.
The complexity of plane hyperbolic incidence geometry is∀∃∀∃.Victor Pambuccian - 2005 - Mathematical Logic Quarterly 51 (3):277-281.
Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity.Victor Pambuccian - 2002 - Synthese 133 (3):331 - 341.
The Bifurcation Approach to Hyperbolic Geometry.Abraham A. Ungar - 2000 - Foundations of Physics 30 (8):1257-1282.
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again.Jesse Alama - 2014 - Studia Logica 102 (3):609-615.
Corrigendum to “The complexity of plane hyperbolic incidence geometry is ∀∃∀∃”.Victor Pambuccian - 2008 - Mathematical Logic Quarterly 54 (6):668-668.
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.Victor Pambuccian - 2011 - Studia Logica 97 (3):347 - 349.
The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.
Ternary Operations as Primitive Notions for Constructive Plane Geometry VI.Victor Pambuccian - 1995 - Mathematical Logic Quarterly 41 (3):384-394.
Constructive Axiomatization of Plane Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (4):475-488.
Abstraction and Intuition in Peano's Axiomatizations of Geometry.Davide Rizza - 2009 - History and Philosophy of Logic 30 (4):349-368.
The Hyperbolic Geometric Structure of the Density Matrix for Mixed State Qubits.Abraham A. Ungar - 2002 - Foundations of Physics 32 (11):1671-1699.
From the Group SL(2, C) to Gyrogroups and Gyrovector Spaces and Hyperbolic Geometry.Jingling Chen & Abraham A. Ungar - 2001 - Foundations of Physics 31 (11):1611-1639.
The Bloch Gyrovector.Jing-Ling Chen & Abraham A. Ungar - 2002 - Foundations of Physics 32 (4):531-565.
Ternary operations as primitive notions for constructive plane geometry III.Victor Pambuccian - 1993 - Mathematical Logic Quarterly 39 (1):393-402.

Analytics

Added to PP
2009-01-28

Downloads
51 (#312,377)

6 months
5 (#640,860)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references