Results 11 to 20 of about 1,624 (20)
Many Different Uniformity Numbers of Yorioka Ideals
, 2019 Using a countable support product of creature forcing posets, we show that consistently, for uncountably many different functions the associated Yorioka ideals' uniformity numbers can be pairwise different.
Klausner, Lukas Daniel +1 more
core +1 more source
The combinatorics of reasonable ultrafilters [PDF]
, 2005 We are interested in generalizing part of the theory of ultrafilters on omega to larger cardinals. Here we set the scene for further investigations introducing properties of ultrafilters in strong sense dual to being ...
Shelah, Saharon
core
A new foundational crisis in mathematics, is it really happening?
, 2018 The article reconsiders the position of the foundations of mathematics after the discovery of HoTT. Discussion that this discovery has generated in the community of mathematicians, philosophers and computer scientists might indicate a new crisis in the ...
A J C Hurkens +23 more
core +1 more source
On what I do not understand (and have something to say): Part I
, 1999 This is a non-standard paper, containing some problems in set theory I have in various degrees been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me, sometimes the problems are presented ...
Shelah, Saharon
core +1 more source
A semifilter approach to selection principles II: tau*-covers [PDF]
, 2005 In this paper we settle all questions whether (it is consistent that) the properties P and Q [do not] coincide, where P and Q run over selection principles of the type U_fin(O,A).Comment: 9 pages; Latex2e; 1 table; Submitted to ...
Zdomskyy, Lyubomyr
core
Ordered Black Boxes: Existence [PDF]
, 2013 We defined ordered black boxes in which for a partial $J$ we try to predict just a bound in $J$ to a function restricted to $C_\alpha$. The existence results are closely related to pcf, propagating downward.
Shelah, Saharon
core
, 2002 We discuss the past and future of set theory, axiom systems and independence results.
A. Blass +10 more
core +1 more source
On Horowitz and Shelah's Borel maximal eventually different family
, 2017 We show there is a closed (in fact effectively closed, i.e., $\Pi^0_1$) eventually different family (working in ZF or less).Comment: 7 pages.
Schrittesser, David
core
Cichoń's diagram and localisation cardinals. [PDF]
Arch Math Log, 2021 Goldstern M, Klausner LD.
europepmc +1 more source
The modal logic of arithmetic potentialism and the universal algorithm
, 2018 I investigate the modal commitments of various conceptions of the philosophy of arithmetic potentialism. Specifically, I consider the natural potentialist systems arising from the models of arithmetic under their natural extension concepts, such as end ...
Hamkins, Joel David
core