- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Homogeneously Souslin sets in small inner models
Archive for Mathematical Logic 45 (1):53-61 (2006)
Abstract
We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0long does not exist, or else (b) V = K, where K is the core model below a μ-measurable cardinalAuthor's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Covering analytic sets by families of closed sets.Sławomir Solecki - 1994 - Journal of Symbolic Logic 59 (3):1022-1031.
An $mathbb{S}_{max}$ Variation for One Souslin Tree.Paul Larson - 1999 - Journal of Symbolic Logic 64 (1):81-98.
Homogeneously Suslin sets in tame mice.Farmer Schlutzenberg - 2012 - Journal of Symbolic Logic 77 (4):1122-1146.
Souslin forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.
Chain homogeneous Souslin algebras.Gido Scharfenberger-Fabian - 2011 - Mathematical Logic Quarterly 57 (6):591-610.
Souslin algebra embeddings.Gido Scharfenberger-Fabian - 2011 - Archive for Mathematical Logic 50 (1-2):75-113.
μ-complete Souslin trees on μ+.Menachem Kojman & Saharon Shelah - 1993 - Archive for Mathematical Logic 32 (3):195-201.
$lambda$-Scales, $kappa$-Souslin Sets and a New Definition of Analytic Sets.Douglas R. Busch - 1976 - Journal of Symbolic Logic 41 (2):373-378.
Gap structure after forcing with a coherent Souslin tree.Carlos Martinez-Ranero - 2013 - Archive for Mathematical Logic 52 (3-4):435-447.
Degrees of rigidity for Souslin trees.Gunter Fuchs & Joel David Hamkins - 2009 - Journal of Symbolic Logic 74 (2):423-454.
Bounds on the Strength of Ordinal Definable Determinacy in Small Admissible Sets.Diego Rojas-Rebolledo - 2012 - Notre Dame Journal of Formal Logic 53 (3):351-371.
Club degrees of rigidity and almost Kurepa trees.Gunter Fuchs - 2013 - Archive for Mathematical Logic 52 (1-2):47-66.
Freiling's axioms of symmetry in a general setting and some applications.Athanassios Tzouvaras - 2001 - Archive for Mathematical Logic 40 (2):131-145.
Analytics
Added to PP
2013-11-23
Downloads
29 (#550,776)
6 months
8 (#361,319)
2013-11-23
Downloads
29 (#550,776)
6 months
8 (#361,319)
Historical graph of downloads
Author's Profile
Citations of this work
Homogeneously Suslin sets in tame mice.Farmer Schlutzenberg - 2012 - Journal of Symbolic Logic 77 (4):1122-1146.
References found in this work
Some applications of short core models.Peter Koepke - 1988 - Annals of Pure and Applied Logic 37 (2):179-204.
Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem.Peter Koepke - 1998 - Journal of Symbolic Logic 63 (3):1137-1176.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-vk9kt uwo