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: 91,386

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

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.
Countable Algebra and Set Existence Axioms.Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
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.
The existence of countable totally nonconstructive extensions of the countable atomless Boolean algebra.E. W. Madison - 1983 - Journal of Symbolic Logic 48 (1):167-170.
On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.
Chains and antichains in interval algebras.M. Bekkali - 1994 - Journal of Symbolic Logic 59 (3):860-867.
Topological duality for Nelson algebras and its application.Andrzej Sendlewski - 1984 - Bulletin of the Section of Logic 13 (4):215-219.
Forcing Indestructibility of Set-Theoretic Axioms.Bernhard König - 2007 - Journal of Symbolic Logic 72 (1):349 - 360.
Unions and the axiom of choice.Omar De la Cruz, Eric J. Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2008 - Mathematical Logic Quarterly 54 (6):652-665.
Theories with constants and three countable models.Predrag Tanović - 2007 - Archive for Mathematical Logic 46 (5-6):517-527.
The First-Order Theories of Dedekind Algebras.George Weaver - 2003 - Studia Logica 73 (3):337-365.
Elementary embedding between countable Boolean algebras.Robert Bonnet & Matatyahu Rubin - 1991 - Journal of Symbolic Logic 56 (4):1212-1229.
Generalizing classical and effective model theory in theories of operations and classes.Paolo Mancosu - 1991 - Annals of Pure and Applied Logic 52 (3):249-308.
Countable Fréchetα 1-spaces may be first countable.Alan Dow & Juris Stepräns - 1992 - Archive for Mathematical Logic 32 (1):33-50.
De finetti, countable additivity, consistency and coherence.Colin Howson - 2008 - British Journal for the Philosophy of Science 59 (1):1-23.

Analytics

Added to PP
2014-01-16

Downloads
29 (#538,668)

6 months
9 (#295,075)

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.
The Complexity of Radicals and Socles of Modules.Huishan Wu - 2020 - Notre Dame Journal of Formal Logic 61 (1):141-153.

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 & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. 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