- Failure of Approachability at the Successor of the first Singular for any Cofinality
2025/03/24 by Jakob, Hannes, Levine, Maxwell · 3 citations
#03E04 #03E05 #03E35 #03E55 #FOS: Mathematics #Logic (math.LO)
- A unified approach to Hindman, Ramsey and van der Waerden spaces
2023/07/13 by Filipów, Rafał, Kowitz, Krzysztof, Kwela, Adam · 1 citation
#03E05 #03E15 #03E17 #03E35 (Secondary) #03E75 (Primary) 03E02 #05D10 #26A03 #40A05 #40A35 #54A20 #54D30 #54H05 #Combinatorics (math.CO) #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO)
- Ideal Topologies in Higher Descriptive Set Theory
2021/11/14 by Holy, Peter, Koelbing, Marlene, Schlicht, Philipp +1 · 1 citation
#03E05 #03E17 (Secondary) #54A10 (Primary) 03E15 #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO)
- Decidability of the satisfiability problem for Boolean set theory with the unordered Cartesian product operator
2021/06/02 by Cantone, Domenico, Ursino, Pietro · 1 citation
#03B25 #03B70 #03D15 #03E05 #05A18 #05C20 #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
- Almost Strong Properness
2020/11/02 by Mohammadpour, Rahman · 1 citation
#03E05 #03E35 #03E57 #FOS: Mathematics #Logic (math.LO)
- Borel Combinatorics of Locally Finite Graphs
2020/09/18 by Pikhurko, Oleg · 1 citation
#03E05 #05C63 #05C90 #28A05 #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
- The first omega alephs: from simplices to trees of trees to higher walks
2020/08/07 by Bergfalk, Jeffrey · 2 citations
#03E05 #18G20 #FOS: Mathematics #K-Theory and Homology (math.KT) #Logic (math.LO)
- Milliken's tree theorem and its applications: a computability-theoretic perspective
2020/07/19 by d'Auriac, Paul-Elliot Anglès, Cholak, Peter A., Dzhafarov, Damir D. +2 · 1 citation
#03D80 #03E05 #05D10 #FOS: Mathematics #Logic (math.LO)
- Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces
2019/11/21 by Dobrinen, Natasha, Flores, Sonia Navarro · 1 citation
#03E05 #03E17 #03E35 #03E50 #05C55 #05D10 #3E02 #54D99 #FOS: Mathematics #Logic (math.LO)
- Entangledness in Suslin lines and trees
2019/10/19 by Krueger, John · 3 citations
#03E05 #03E35 #FOS: Mathematics #Logic (math.LO)
- Isometries of combinatorial Banach spaces
2019/07/16 by Brech, C., Ferenczi, V., Tcaciuc, A. · 1 citation
#03E05 #03E75 #46B04 #46B45 #FOS: Mathematics #Functional Analysis (math.FA)
- Towers and gaps at uncountable cardinals
2019/06/03 by Fischer, Vera, Montoya, Diana Carolina, Schilhan, Jonathan +1 · 1 citation
#03E05 #03E17 #FOS: Mathematics #Logic (math.LO)
- Guessing models and the approachability ideal
2018/02/27 by Mohammadpour, Rahman, Velickovic, Boban · 2 citations
#03E05 #03E35 #03E55 #FOS: Mathematics #Logic (math.LO)
- More ZFC inequalities between cardinal invariants
2018/02/08 by Fischer, Vera, Soukup, Daniel T. · 1 citation
#03E05 #03E17 #FOS: Mathematics #Logic (math.LO)
- Chains of P-points
2018/01/08 by Raghavan, Dilip, Verner, Jonathan L. · 1 citation
#03E05 #03E50 (Primary) #54D80 (Secondary) #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO)
- Forcing and Construction Schemes
2017/11/29 by Kalajdzievski, Damjan, Lopez, Fulgencio · 2 citations
#03E05 #03E35 #03E65 #FOS: Mathematics #Logic (math.LO)
- Idempotent ultrafilters without Zorn's Lemma
2017/01/12 by Di Nasso, Mauro, Tachtsis, Eleftherios · 1 citation
#03E05 #54D80 #FOS: Mathematics #Logic (math.LO) #Primary 03E25 #Secondary 05D10
- Towers in filters, cardinal invariants, and Luzin type families
2016/05/16 by Brendle, Jörg, Farkas, Barnabás, Verner, Jonathan · 1 citation
#03E05 #03E17 #03E35 #FOS: Mathematics #Logic (math.LO)
- Diagonal supercompact Radin forcing
2016/04/06 by Ben-Neria, Omer, Lambie-Hanson, Chris, Unger, Spencer · 1 citation
#03E04 #03E05 #03E35 #03E55 #FOS: Mathematics #Logic (math.LO)
- Simultaneous stationary reflection and square sequences
2016/03/17 by Hayut, Yair, Lambie-Hanson, Chris · 1 citation
#03E05 #03E35 #03E55 #FOS: Mathematics #Logic (math.LO)
- Banach spaces from a construction scheme
2016/02/04 by Lopez, Fulgencio · 2 citations
#03E05 #03E75 #46A35 #46B03 #FOS: Mathematics #Functional Analysis (math.FA) #Logic (math.LO)
- Trees and gaps from a construction scheme
2016/02/04 by Lopez, Fulgencio, Todorcevic, Stevo · 2 citations
#03E05 #03E35 #03E65 #FOS: Mathematics #Logic (math.LO)
- The colouring number of infinite graphs
2015/12/09 by Bowler, Nathan, Carmesin, Johannes, Komjáth, Péter +1 · 2 citations
#03E05 #05C15 #05C63 #Combinatorics (math.CO) #FOS: Mathematics
- Definability and almost disjoint families
2015/03/25 by Tornquist, Asger · 4 citations
#03E05 #03E15 #03E35 #03E45 #03E50 #FOS: Mathematics #Logic (math.LO)
- Selective but not Ramsey
2013/12/19 by Trujillo, Timothy · 1 citation
#03E02 #03E05 #05D10 #54D80 #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
- Iterated hyper-extensions and an idempotent ultrafilter proof of Rado's\n theorem
2013/04/10 by Mauro Di Nasso, Di Nasso, Mauro · 1 citation
Computer Science · Mathematics · #03E05 #03H05 #05D10 #11D04 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis
- A new class of Ramsey-classification theorems and their applications in the Tukey theory of ultrafilters
2012/05/26 by Natasha Dobrinen, Stevo Todorčević, Dobrinen, Natasha +1 · 1 citation
Computer Science · Mathematics · #03E02 #03E04 #03E05 #05D10 #06A06 #54D80 #Advanced Topology and Set Theory #Combinatorics (math.CO) #FOS: Mathematics #General Topology (math.GN) #Limits and Structures in Graph Theory #Logic (math.LO) #Topological and Geometric Data Analysis
- Hechler and Laver Trees
2012/04/23 by Arnold W. Miller, Miller, Arnold W. · 1 citation
Computer Science · Mathematics · #03E02 #03E05 #03E15 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Limits and Structures in Graph Theory #Logic (math.LO)
- Optimal Matrices of Partitions and an Application to Souslin Trees
2009/12/02 by Scharfenberger-Fabian, Gido · 2 citations
#03E05 #05A18 #FOS: Mathematics #Logic (math.LO)
- Continuous Fraisse Conjecture
2004/11/05 by Arnold Beckmann, Martin Goldstern, Beckmann, Arnold +3 · 1 citation
Mathematics · #03E05 #06A07 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03E05 #msc:06A07