N? Sets and models of wkl0

In Stephen Simpson (ed.), Reverse Mathematics 2001. pp. 21--352 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

WKL0 and Stone's separation theorem for convex sets.Kostas Hatzikiriakou - 1996 - Annals of Pure and Applied Logic 77 (3):245-249.
Non‐standard Analysis in WKL 0.Kazuyuki Tanaka - 1997 - Mathematical Logic Quarterly 43 (3):396-400.
Definable sets and expansions of models of Peano arithmetic.Roman Murawski - 1988 - Archive for Mathematical Logic 27 (1):21-33.
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.
Strongly adequate sets and adding a club with finite conditions.John Krueger - 2014 - Archive for Mathematical Logic 53 (1-2):119-136.
▵13-sets of reals.Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (1):72 - 80.
The rôle of language in belief revision.Sven Ove Hansson - 2002 - Studia Logica 70 (1):5 - 21.
$triangle^1_3$-Sets of Reals.Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (1):72-80.
The reals in core models.Philip Welch - 1987 - Journal of Symbolic Logic 52 (1):64-67.
Measuring coherence using LP-models.Carlos A. OLLER - 2004 - Journal of Applied Logic 2 (4):451-455.
A new conservation result of WKL 0 over RCA 0.António Marques Fernandes - 2002 - Archive for Mathematical Logic 41 (1):55-63.

Analytics

Added to PP
2014-01-31

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Reverse mathematics and π21 comprehension.Carl Mummert & Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (4):526-533.
Reverse Mathematics and Π 1 2 Comprehension.Carl Mummert & Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (3):526-533.
Almost everywhere domination.Natasha L. Dobrinen & Stephen G. Simpson - 2004 - Journal of Symbolic Logic 69 (3):914-922.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references