Philipp Lücke
- Large cardinals, structural reflection, and the HOD Conjecture
2024/11/18 by Juan P. Aguilera, Aguilera, Juan P., Joan Bagaria +3 · 6 voices
Mathematics · #03C55 #03E45 #03E55 #03E65 #18A15 #FOS: Mathematics #Logic (math.LO) #math.LO
- Descriptive properties of higher Kurepa trees
2020/10/22 by Philipp Lücke, Philipp Schlicht, Lücke, Philipp +1 · 1 citation
Computer Science · Mathematics · #03E05 #03E35 #03E47 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #semigroups and automata theory
- Patterns of Structural Reflection in the large-cardinal hierarchy
2022/10/13 by Joan Bagaria, Bagaria, Joan, Philipp Lücke +1 · 2 citations
Computer Science · Mathematics · #03C55 #03E47 #03E55 #18A15 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)
- Descriptive properties of I2-embeddings
2023/11/01 by Vincenzo Dimonte, Martina Iannella, Dimonte, Vincenzo +3 · 1 citation
Computer Science · Mathematics · #03E35 #03E45 #03E47 #03E55 #Advanced Topology and Set Theory #Benford’s Law and Fraud Detection #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)
- Outward compactness
2024/02/24 by Peter Holy, Philipp Lücke, Holy, Peter +3 · 1 citation
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge