A Δ22 well-order of the reals and incompactness of L

&
Annals of Pure and Applied Logic 59 (1):1-32 (1993)
  Copy   BIBTEX

Abstract

A forcing poset of size 221 which adds no new reals is described and shown to provide a Δ22 definable well-order of the reals. The encoding of this well-order is obtained by playing with products of Aronszajn trees: some products are special while other are Suslin trees. The paper also deals with the Magidor–Malitz logic: it is consistent that this logic is highly noncompact.

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(93)90228-6

Other Versions

No versions found

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

ABRAHAM, U. and SHELAH, S., A AZ well-order of the reals and incompactness of L (Q”“) BUSS, SR, Intuitionistic validity in T-normal Kripke structures CAICEDO, X., Compactness and normality in abstract logics CENZER, D., DOWNEY, R., JOCKUSCH, C. and SHORE. [REVIEW]L. Li, L. I. H. & L. I. U. Y. - 1993 - Annals of Pure and Applied Logic 59:287.
Saturation, Suslin trees and meager sets.Paul Larson - 2005 - Archive for Mathematical Logic 44 (5):581-595.
Forcing disabled.M. C. Stanley - 1992 - Journal of Symbolic Logic 57 (4):1153-1175.
A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees.Teruyuki Yorioka - 2010 - Annals of Pure and Applied Logic 161 (4):469-487.
Full-splitting Miller trees and infinitely often equal reals.Yurii Khomskii & Giorgio Laguzzi - 2017 - Annals of Pure and Applied Logic 168 (8):1491-1506.
Creatures on ω 1 and weak diamonds.Heike Mildenberger - 2009 - Journal of Symbolic Logic 74 (1):1-16.
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals.Miika Hannula & Jonni Virtema - 2022 - Annals of Pure and Applied Logic 173 (10):103108.
Regularity properties of definable sets of reals.Jacques Stern - 1985 - Annals of Pure and Applied Logic 29 (3):289-324.
Can a small forcing create Kurepa trees.Renling Jin & Saharon Shelah - 1997 - Annals of Pure and Applied Logic 85 (1):47-68.
Review: Saharon Shelah, Hugh Woodin, Large Cardinals Imply That Every Reasonably Definable Set of Reals Is Lebesgue Measurable. [REVIEW]Joan Bagaria - 2002 - Bulletin of Symbolic Logic 8 (4):543-545.

Analytics

Added to PP
2014-01-16

Downloads
118 (#399,331)

6 months
22 (#489,422)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A microscopic approach to Souslin-tree construction, Part II.Ari Meir Brodsky & Assaf Rinot - 2021 - Annals of Pure and Applied Logic 172 (5):102904.
Canonical models for ℵ1-combinatorics.Saharon Shelah & Jindr̆ich Zapletal - 1999 - Annals of Pure and Applied Logic 98 (1-3):217-259.
Incompatible Ω-Complete Theories.Peter Koellner & W. Hugh Woodin - 2009 - Journal of Symbolic Logic 74 (4):1155 - 1170.
Coding with ladders a well ordering of the reals.Uri Abraham & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (2):579-597.

View all 17 citations / Add more citations

References found in this work

Compact extensions of L(Q).Menachem Magidor & Jerome Malitz - 1977 - Annals of Mathematical Logic 11 (2):217--261.
Proper Forcing.Saharon Shelah - 1985 - Journal of Symbolic Logic 50 (1):237-239.

Add more references