Jan von Plato. The axioms of constructive geometry. Annals of pure and applied logic, vol. 76 , pp. 169–200

Journal of Symbolic Logic 62 (2):687-688 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275563

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,733

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

Jan Krajíček. On the number of steps in proofs. Annals of pure and applied logic, vol. 41 , pp. 153–178.William M. Farmer - 1991 - Journal of Symbolic Logic 56 (1):334-335.
Richard Sommer. Transfinite induction within Peano arithmetic. Annals of pure and applied logic, vol. 76 , pp. 231–289.Michael Rathjen - 1996 - Journal of Symbolic Logic 61 (4):1388.
Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Countable algebra and set existence axioms. Annals of pure and applied logic, vol. 25 , pp. 141–181. - Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Addendum to “Countable algebra and set existence axioms.” Annals of pure and applied logic, vol. 28 , pp. 319–320. [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
Kazuyuki Tanaka. The Galvin–Prikry theorem and set existence axioms. Annals of pure and applied logic, vol. 42 , pp. 81–104. [REVIEW]F. R. Drake - 1991 - Journal of Symbolic Logic 56 (1):334.
Simplifying von Plato's axiomatization of Constructive Apartness Geometry.Dafa Li, Peifa Jia & Xinxin Li - 2000 - Annals of Pure and Applied Logic 102 (1-2):1-26.
Ehud Hrushovski. Unidimensional theories are superstable. Annals of pure and applied logic, vol. 50 , pp. 117–138. - Ehud Hrushovski. Almost orthogonal regular types. Annals of pure and applied logic, vol. 45 , pp. 139–155. [REVIEW]Frank Wagner - 1992 - Journal of Symbolic Logic 57 (2):762-763.
Moti Gitik and Menachem Magidor. Extender based forcings. The Journal of Symbolic Logic, vol. 59 , pp. 445–460. - Moti Gitik and William J. Mitchell. Indiscernible sequences for extenders, and the singular cardinal hypothesis. Annals of Pure and Applied Logic, vol. 82 , pp. 273–316. - Moti Gitik. Blowing up the power of a singular cardinal. Annals of Pure and Applied Logic, vol. 80 , pp. 17–33. - Moti Gitik and Carmi Merimovich. Possible values for and. Annals of Pure and Applied Logic, vol. 90 , pp. 193–241. - Moti Gitik. Blowing up power of a singular cardinal—wider gaps. Annals of Pure and Applied Logic, vol. 116 , pp. 1–38. [REVIEW]Akihiro Kanamori - 2003 - Bulletin of Symbolic Logic 9 (2):237-241.
Sy D. Friedman. Strong coding. Annals of pure and applied logic, vol. 35, pp. 1–98. - Sy D. Friedman. A guide to “Strong coding.”Annals of pure and applied logic, vol. 35, pp. 99–122. [REVIEW]Philip Welch - 1990 - Journal of Symbolic Logic 55 (3):1311-1313.
Andreas Blass. Selective ultrafilters and homogeneity. Annals of pure and applied logic, vol. 38 , pp. 215–255. - Claude Laflamme. Forcing with filters and complete combinatorics. Annals of pure and applied logic, vol. 42 , pp. 125–163. [REVIEW]Peter J. Nyikos - 1991 - Journal of Symbolic Logic 56 (4):1490-1492.
A constructive version of Tarski's geometry.Michael Beeson - 2015 - Annals of Pure and Applied Logic 166 (11):1199-1273.

Analytics

Added to PP
2013-11-02

Downloads
41 (#540,414)

6 months
9 (#460,603)

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

No references found.

Add more references