Countable algebra and set existence axioms

Annals of Pure and Applied Logic 25 (2):141 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(83)90012-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

Addendum to “Countable algebra and set existence axioms”.Harvey M. Friedman, Stephen G. Simpson & Rick L. Smith - 1984 - Annals of Pure and Applied Logic 28 (3):319-320.
Countable Algebra and Set Existence Axioms.Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
Review: Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith, Countable Algebra and Set Existence Axioms; Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith, Addendum to "Countable Algebra and Set Existence Axioms.". [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
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.
Set existence axioms for general (not necessarily countable) stability theory.Victor Harnik - 1987 - Annals of Pure and Applied Logic 34 (3):231-243.
Which set existence axioms are needed to prove the separable Hahn-Banach theorem?Douglas K. Brown & Stephen G. Simpson - 1986 - Annals of Pure and Applied Logic 31:123-144.
Sheard, M., see Friedman, H.H. Friedman - 1995 - Annals of Pure and Applied Logic 71:307.
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.
Constructive toposes with countable sums as models of constructive set theory.Alex Simpson & Thomas Streicher - 2012 - Annals of Pure and Applied Logic 163 (10):1419-1436.
The Galvin-Prikry theorem and set existen axioms.Kazuyuki Tanaka - 1989 - Annals of Pure and Applied Logic 42 (1):81-104.

Analytics

Added to PP
2014-01-16

Downloads
17 (#863,839)

6 months
13 (#277,486)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.
Open questions in reverse mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
Factorization of polynomials and °1 induction.S. G. Simpson - 1986 - Annals of Pure and Applied Logic 31:289.

View all 60 citations / Add more citations

References found in this work

Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.
A mathematical incompleteness in Peano arithmetic.Jeff Paris & Leo Harrington - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 90--1133.
Ramsey's theorem and recursion theory.Carl G. Jockusch - 1972 - Journal of Symbolic Logic 37 (2):268-280.

View all 10 references / Add more references