Set existence axioms for general (not necessarily countable) stability theory

Annals of Pure and Applied Logic 34 (3):231-243 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(87)90002-9

Links

PhilArchive



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

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

Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
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.
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.
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.
Stability theory and set existence axioms.Victor Harnik - 1985 - Journal of Symbolic Logic 50 (1):123-137.
The model< i> N=∪{< i> L_[A]:< i> A countable set of ordinals}.Claude Sureson - 1987 - Annals of Pure and Applied Logic 36 (C):289-313.
Countable Algebra and Set Existence Axioms.Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
A selection of papers presented at the" Stability in Model Theory III" conference.John T. Baldwin & Annalisa Marcja - 1993 - Annals of Pure and Applied Logic 62 (2).
Set existence property for intuitionistic theories with dependent choice.Harvey M. Friedman & Andrej Ščedrov - 1983 - Annals of Pure and Applied Logic 25 (2):129-140.

Analytics

Added to PP
2014-01-16

Downloads
22 (#733,560)

6 months
4 (#862,833)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Transfinite recursion in higher reverse mathematics.Noah Schweber - 2015 - Journal of Symbolic Logic 80 (3):940-969.
Indiscernible Extraction and Morley Sequences.Sebastien Vasey - 2017 - Notre Dame Journal of Formal Logic 58 (1):127-132.

Add more citations

References found in this work

Concatenation as a basis for arithmetic.W. V. Quine - 1946 - Journal of Symbolic Logic 11 (4):105-114.
Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
Stability theory and set existence axioms.Victor Harnik - 1985 - Journal of Symbolic Logic 50 (1):123-137.

Add more references