Zfc proves that the class of ordinals is not weakly compact for definable classes

&
Journal of Symbolic Logic 83 (1):146-164 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2017.75

Links

PhilArchive



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

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

Chain conditions of products, and weakly compact cardinals.Assaf Rinot - 2014 - Bulletin of Symbolic Logic 20 (3):293-314,.
A Remark on Weakly Compact Cardinals.Tapani Hyttinen - 2002 - Mathematical Logic Quarterly 48 (3):397-402.
A weakly definable type which is not definable.James H. Schmerl - 1993 - Archive for Mathematical Logic 32 (6):463-468.
Topological properties of sets definable in weakly o-minimal structures.Roman Wencel - 2010 - Journal of Symbolic Logic 75 (3):841-867.
The least weakly compact cardinal can be unfoldable, weakly measurable and nearly $${\theta}$$ θ -supercompact.Brent Cody, Moti Gitik, Joel David Hamkins & Jason A. Schanker - 2015 - Archive for Mathematical Logic 54 (5-6):491-510.
On properties of (weakly) small groups.Cédric Milliet - 2012 - Journal of Symbolic Logic 77 (1):94-110.
Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.
Selection over classes of ordinals expanded by monadic predicates.Alexander Rabinovich & Amit Shomrat - 2010 - Annals of Pure and Applied Logic 161 (8):1006-1023.
A Polarized Partition Relation for Weakly Compact Cardinals Using Elementary Substructures.Albin L. Jones - 2006 - Journal of Symbolic Logic 71 (4):1342 - 1352.
Characterizations of negative definability in modal logic.Marco Hollenberg - 1998 - Studia Logica 60 (3):357-386.
Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
Orders of Indescribable Sets.Alex Hellsten - 2006 - Archive for Mathematical Logic 45 (6):705-714.
On the consistency of the definable tree property on ℵ.Amir Leshem - 2000 - Journal of Symbolic Logic 65 (3):1204 - 1214.
Models of set theory with definable ordinals.Ali Enayat - 2005 - Archive for Mathematical Logic 44 (3):363-385.
On the Consistency of the Definable Tree Property on $\aleph_1$.Amir Leshem - 2000 - Journal of Symbolic Logic 65 (3):1204-1214.

Analytics

Added to PP
2018-05-03

Downloads
9 (#1,224,450)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
Powers of Regular Cardinals.J. Barkley Rosser - 1975 - Journal of Symbolic Logic 40 (3):460-461.

Add more references