Philipp Lücke

18 papers Journal 18

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Huge reflection. Ann. Pure Appl. Log. Joan Bagaria, Philipp Lücke
2022	J	`jnl`	Structural reflection, shrewd cardinals and the size of the continuum. J. Math. Log. Philipp Lücke
2021	J	`jnl`	Closure Properties of Measurable Ultrapowers. J. Symb. Log. Philipp Lücke, Sandra Müller
2021	J	`jnl`	Small models, large cardinals, and induced ideals. Ann. Pure Appl. Log. Peter Holy, Philipp Lücke
2019	J	`jnl`	Closed Maximality Principles and Generalized Baire Spaces. Notre Dame J. Formal Log. Philipp Lücke
2019	J	`jnl`	Small embedding characterizations for large cardinals. Ann. Pure Appl. Log. Peter Holy, Philipp Lücke, Ana Njegomir
2018	J	`jnl`	Measurable cardinals and good -wellorderings. Math. Log. Q. Philipp Lücke, Philipp Schlicht
2018	J	`jnl`	Squares, Ascent Paths, and Chain conditions. J. Symb. Log. Chris Lambie-Hanson, Philipp Lücke
2017	J	`jnl`	Characterizing large cardinals in terms of layered posets. Ann. Pure Appl. Log. Sean Cox, Philipp Lücke
2017	J	`jnl`	Choiceless Ramsey Theory of Linear Orders. Order Philipp Lücke, Philipp Schlicht, Thilo Weinert
2017	J	`jnl`	Σ1(κ)-DEFINABLE SUBSETS OF H(κ +). J. Symb. Log. Philipp Lücke, Ralf Schindler, Philipp Schlicht
2016	J	`jnl`	Class forcing, the forcing Theorem and Boolean Completions. J. Symb. Log. Peter Holy, Regula Krapf, Philipp Lücke, Ana Njegomir, Philipp Schlicht
2015	J	`jnl`	Forcing lightface definable well-orders without the GCH. Ann. Pure Appl. Log. David Asperó, Peter Holy, Philipp Lücke
2015	J	`jnl`	Large Cardinals and Lightface Definable Well-Orders, without the GCH. J. Symb. Log. Sy-David Friedman, Peter Holy, Philipp Lücke
2015	J	`jnl`	Large cardinals and definable well-orders, without the GCH. Ann. Pure Appl. Log. Sy-David Friedman, Philipp Lücke
2012	J	`jnl`	External automorphisms of ultraproducts of finite models. Arch. Math. Log. Philipp Lücke, Saharon Shelah
2012	J	`jnl`	Iteratively Changing the Heights of Automorphism Towers. Notre Dame J. Formal Log. Gunter Fuchs, Philipp Lücke
2012	J	`jnl`	Σ J. Symb. Log. Philipp Lücke