Source author record

Philipp Lücke

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

4works

1topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

Huge Reflection

We study Structural Reflection beyond Vopěnka's Principle, at the level of almost-huge cardinals and higher, up to rank-into-rank embeddings. We identify and classify new large cardinal notions in that region that correspond to some form of what we call Exact Structural Reflection ( $\mathrm{ESR}$ ). Namely, given cardinals $κ<λ$ and a class $\mathcal{C}$ of structures of the same type, the corresponding instance of $\mathrm{ESR}$ asserts that for every structure $A$ in $\mathcal{C}$ of rank $λ$ , there is a structure $B$ in $\mathcal{C}$ of rank $κ$ and an elementary embedding of $B$ into $A$ . Inspired by the statement of Chang's Conjecture, we also introduce and study sequential forms of $\mathrm{ESR}$ , which, in the case of sequences of length $ω$ , turn out to be very strong. Indeed, when restricted to $Π_1$ -definable classes of structures they follow from the existence of $I1$ -embeddings, while for more complicated classes of structures, e.g., $Σ_2$ , they are not known to be consistent. Thus, these principles unveil a new class of large cardinals that go beyond $I1$ -embeddings, yet they may not fall into Kunen's Inconsistency.

preprint2022arXiv

Forcing axioms and the complexity of non-stationary ideals

We study the influence of strong forcing axioms on the complexity of the non-stationary ideal on $ω_2$ and its restrictions to certain cofinalities. Our main result shows that the strengthening $MM^{++}$ of Martin's Maximum does not decide whether the restriction of the non-stationary ideal on $ω_2$ to sets of ordinals of countable cofinality is $Δ_1$ -definable by formulas with parameters in $H(ω_3)$ . The techniques developed in the proof of this result also allow us to prove analogous results for the full non-stationary ideal on $ω_2$ and strong forcing axioms that are compatible with CH. Finally, we answer a question of S. Friedman, Wu and Zdomskyyshow by showing that the $Δ_1$ -definability of the non-stationary ideal on $ω_2$ is compatible with arbitrary large values of the continuum function at $ω_2$ .

preprint2016arXiv

Characterizing large cardinals in terms of layered posets

Given an uncountable regular cardinal $κ$ , a partial order is $κ$ -stationarily layered if the collection of regular suborders of $\mathbb{P}$ of cardinality less than $κ$ is stationary in $\mathcal{P}_κ(\mathbb{P})$ . We show that weak compactness can be characterized by this property of partial orders by proving that an uncountable regular cardinal $κ$ is weakly compact if and only if every partial order satisfying the $κ$ -chain condition is $κ$ -stationarily layered. We prove a similar result for strongly inaccessible cardinals. Moreover, we show that the statement that all $κ$ -Knaster partial orders are $κ$ -stationarily layered implies that $κ$ is a Mahlo cardinal and every stationary subset of $κ$ reflects. This shows that this statement characterizes weak compactness in canonical inner models. In contrast, we show that it is also consistent that this statement holds at a non-weakly compact cardinal.

preprint2013arXiv

Free groups and automorphism groups of infinite fields

Let λbe a cardinal with λ=λ^{\aleph_0} and p be either 0 or a prime number. We show that there are fields K_0 and K_1 of cardinality λand characteristic p such that the automorphism group of K_0 is a free group of cardinality 2^λand the automorphism group of K_1 is a free abelian group of cardinality 2^λ. This partially answers a question from [8] and complements results from [15], [16] and [17]. The methods developed in the proof of the above statement also allow us to show that the above cardinal arithmetic assumption is consistently not necessary for the existence of such fields and that the existence of a cardinal λof uncountable cofinality with the property that there is no field of cardinality λwhose automorphism group is a free group of cardinality greater than λimplies the existence of large cardinals in certain inner models of set theory.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.