2.5k citations
- Tel Aviv UniversityIL388 papers
- Centre National de la Recherche ScientifiqueFR320 papers
- Rutgers, The State University of New JerseyUS278 papers
- University of California, Santa CruzUS239 papers
- Weizmann Institute of ScienceIL223 papers
- California Institute of TechnologyUS202 papers
- University of California, BerkeleyUS194 papers
- Space Telescope Science InstituteUS128 papers
- Technion – Israel Institute of TechnologyIL118 papers
- Universidad Autónoma de MadridES113 papers
- University of ArizonaUS111 papers
- Johns Hopkins UniversityUS110 papers
6 papers · 2 filters
Small measurable cardinals
Yair Hayut, Asaf Karagila
We continue the work from [8] and make a small -- but significant -- improvement to the definition of -decomposable system. This provides us with a better lifting of elementary…
Non-Galvin Filters
Tom Benhamou, Shimon Garti, Moti Gitik +1
We address the question of the consistency strength of certain filters and ultrafilters which fail to satisfy the Galvin property. We answer questions \cite[Questions 7.8,7.9]{TomM…
Co-Hopfian and boundedly endo-rigid mixed abelian groups
Mohsen Asgharzadeh, Mohammad Golshani, Saharon Shelah
For a given cardinal and a torsion abelian group of cardinality less than , we present, under some mild conditions (for example ), boundedly endo-rigid a…
Iterated club shooting and the stationary-logic constructible model
Ur Ya'ar
We investigate iterating the construction of , the -like inner model constructed using stationary-logic. We show that it is possible to force over generic extens…
Galvin's property at large cardinals and an application to partition calculus
Tom Benhamou, Shimon Garti, Alejandro Poveda
In the first part of this paper, we explore the possibility for a very large cardinal to carry a -complete ultrafilter without Galvin's property. In this context, we prove t…
On large externally definable sets in NIP
Martin Bays, Omer Ben-Neria, Itay Kaplan +1
We study cofinal systems of finite subsets of . We show that while such systems can be NIP, they cannot be defined in an NIP structure. We deduce a positive answer to a questi…