19 citations · 20 across the 7 of their papers we have counts for
13 papers
Large cardinal characterizations via compactness for list colourings
Roman Feller, Peter Holy
We investigate compactness properties with respect to list colouring, a certain form of graph colouring, with infinitely many colours. We introduce a new hierarchy of compactness c…
Outward compactness
Peter Holy, Philipp Lücke, Sandra Müller
We introduce and study a new type of compactness principle for strong logics that, roughly speaking, infers the consistency of a theory from the consistency of its small fragments…
Asymmetric cut and choose games
Peter Holy, Philipp Schlicht, Christopher Turner +1
We investigate a variety of cut and choose games, their relationship with (generic) large cardinals, and show that they can be used to characterize a number of properties of ideals…
Ideal Topologies in Higher Descriptive Set Theory
Peter Holy, Marlene Koelbing, Philipp Schlicht +1
We investigate generalizations of the topology of the higher Cantor space on , based on arbitrary ideals rather than the bounded ideal on . Our main focus is on the topolog…
Ideal operators and higher indescribability
Brent Cody, Peter Holy
We investigate properties of the ineffability and the Ramsey operator, and a common generalization of those that was introduced by the second author, with respect to higher indescr…
Small models, large cardinals, and induced ideals
Peter Holy, Philipp Lücke
We show that many large cardinal notions up to measurability can be characterized through the existence of certain filters for small models of set theory. This correspondence will…