Constructively Complete Finite Sets

Mathematical Logic Quarterly 34 (2):97-103 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19880340202

Other Versions

reprint Mandelkern, Mark (1988) "Constructively Complete Finite Sets". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34(2):97-103
reprint Mandelkern, Mark (2006) "Constructively Complete Finite Sets". Mathematical Logic Quarterly 34(2):97-103

Links

PhilArchive

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

The ordertype of β-r.E. Sets.Klaus Sutner - 1990 - Journal of Symbolic Logic 55 (2):573-576.
On Subcreative Sets and S-Reducibility.John T. Gill Iii & Paul H. Morris - 1974 - Journal of Symbolic Logic 39 (4):669 - 677.
Labeled calculi and finite-valued logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.
The First-Order Structure of Weakly Dedekind-Finite Sets.A. C. Walczak-Typke - 2005 - Journal of Symbolic Logic 70 (4):1161-1170.
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456-463.
A hierarchy of hereditarily finite sets.Laurence Kirby - 2008 - Archive for Mathematical Logic 47 (2):143-157.
Canonizing relations on nonsmooth sets.Clinton T. Conley - 2013 - Journal of Symbolic Logic 78 (1):101-112.
Powers of 2.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
Rational choice on non-finite sets by means of expansion-contraction axioms.M. Carmen Sánchez - 1998 - Theory and Decision 45 (1):1-17.

Analytics

Added to PP
2013-12-01

Downloads
46 (#1,256,140)

6 months
8 (#1,303,858)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Continuity properties in constructive mathematics.Hajime Ishihara - 1992 - Journal of Symbolic Logic 57 (2):557-565.
Continuity and nondiscontinuity in constructive mathematics.Hajime Ishihara - 1991 - Journal of Symbolic Logic 56 (4):1349-1354.
Some principles weaker than Markov’s principle.Makoto Fujiwara, Hajime Ishihara & Takako Nemoto - 2015 - Archive for Mathematical Logic 54 (7-8):861-870.
Separating fragments of wlem, lpo, and mp.Matt Hendtlass & Robert Lubarsky - 2016 - Journal of Symbolic Logic 81 (4):1315-1343.

View all 7 citations / Add more citations

References found in this work

Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..

Add more references