From the weak to the strong existence property

Annals of Pure and Applied Logic 163 (10):1400-1418 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2012.01.012

Links

PhilArchive



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

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

Strengths and weaknesses of weak and strong supervenience.Mark Moyer - unknown
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
Weak and global supervenience are strong.Mark Moyer - 2008 - Philosophical Studies 138 (1):125 - 150.
A Dilemma for the Weak Deflationist about Truth.Glen Hoffmann - 2007 - Sorites 18:129-137.
Various Concepts of “Supervenience” and Their Relations：A Comment on Kim’s Theory of Supervenience.Xiaoping Chen - 2011 - Frontiers of Philosophy in China 6 (2):316-333.
Concepts of supervenience.Jaegwon Kim - 1984 - Philosophy and Phenomenological Research 45 (December):153-76.
The algebraic sum of sets of real numbers with strong measure zero sets.Andrej Nowik, Marion Scheepers & Tomasz Weiss - 1998 - Journal of Symbolic Logic 63 (1):301-324.
Weak cylindric set algebras and weak subdirect indecomposability.H. Andréka, I. Németi & R. J. Thompson - 1990 - Journal of Symbolic Logic 55 (2):577-588.
Ideals over ω and cardinal invariants of the continuum.P. Matet & J. Pawlikowski - 1998 - Journal of Symbolic Logic 63 (3):1040-1054.
Strong versus weak quantum consequence operations.Jacek Malinowski - 1992 - Studia Logica 51 (1):113 - 123.
Weak utilities from acyclicity.J. C. R. Alcantud - 1999 - Theory and Decision 47 (2):185-196.
Perelman’s Interpretation of Reverse Probability Arguments as a Dialectical Mise en Abyme.Manfred Kraus - 2010 - Philosophy and Rhetoric 43 (4):362-382.
Mass problems and randomness.Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (1):1-27.
On the derivability of instantiation properties.Harvey Friedman - 1977 - Journal of Symbolic Logic 42 (4):506-514.

Analytics

Added to PP
2013-10-27

Downloads
74 (#214,630)

6 months
13 (#161,691)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Rathjen
University of Leeds

Citations of this work

Constructing the constructible universe constructively.Michael Rathjen - 2024 - Annals of Pure and Applied Logic 175 (3):103392.
Set theory: Constructive and intuitionistic ZF.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.
CZF does not have the existence property.Andrew W. Swan - 2014 - Annals of Pure and Applied Logic 165 (5):1115-1147.

View all 7 citations / Add more citations

References found in this work

Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
On the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
Formal systems for some branches of intuitionistic analysis.G. Kreisel - 1970 - Annals of Mathematical Logic 1 (3):229.
Countable models of set theories.Harvey Friedman - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 539--573.

View all 23 references / Add more references