Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2605.08274 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A Simple and Elementary Proof of Zorn's Lemma
by: Nuida, Koji
Published: (2023)
by: Nuida, Koji
Published: (2023)
On maximal ladders
by: Notaro, Lorenzo
Published: (2026)
by: Notaro, Lorenzo
Published: (2026)
Ladders and Squares
by: Notaro, Lorenzo
Published: (2025)
by: Notaro, Lorenzo
Published: (2025)
Some questions on entangled linear orders
by: Carroy, Raphaël, et al.
Published: (2025)
by: Carroy, Raphaël, et al.
Published: (2025)
Untranscendable order types
by: Ervin, Garrett, et al.
Published: (2026)
by: Ervin, Garrett, et al.
Published: (2026)
On the Rainbow Ramsey theorem and the Canonical Ramsey Theorem for pairs without AC
by: Banerjee, Amitayu, et al.
Published: (2024)
by: Banerjee, Amitayu, et al.
Published: (2024)
Countably-categorical Boolean rings with distinguished ideals
by: Apps, Andrew
Published: (2021)
by: Apps, Andrew
Published: (2021)
Infinite-Exponent Partition Relations on Higher Analogues of the Real Line
by: Gardiner, Lyra A., et al.
Published: (2026)
by: Gardiner, Lyra A., et al.
Published: (2026)
Maximality Principles in Modal Logic and the Axiom of Choice
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)
Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines
by: Inamdar, Tanmay, et al.
Published: (2024)
by: Inamdar, Tanmay, et al.
Published: (2024)
Tukey-idempotency and strong p-points
by: Benhamou, Tom, et al.
Published: (2025)
by: Benhamou, Tom, et al.
Published: (2025)
Squares, scales and lines
by: Cummings, James
Published: (2025)
by: Cummings, James
Published: (2025)
Generalized sums of linear orders
by: Ramos, Álvaro Díaz, et al.
Published: (2025)
by: Ramos, Álvaro Díaz, et al.
Published: (2025)
Piecewise convex embeddability on linear orders
by: Iannella, Martina, et al.
Published: (2023)
by: Iannella, Martina, et al.
Published: (2023)
The Ordering Principle and Dependent Choice
by: Holy, Peter, et al.
Published: (2025)
by: Holy, Peter, et al.
Published: (2025)
The Ordering Principle and Higher Dependent Choice
by: Holy, Peter, et al.
Published: (2025)
by: Holy, Peter, et al.
Published: (2025)
Embeddability on functions: order and chaos
by: Carroy, Raphaël, et al.
Published: (2018)
by: Carroy, Raphaël, et al.
Published: (2018)
Ultracontact algebras and stack systems
by: Carai, Luca, et al.
Published: (2026)
by: Carai, Luca, et al.
Published: (2026)
Neighborhood and algebraic models for predicate modal logics with $ω$-rules
by: Tanaka, Yoshihito
Published: (2025)
by: Tanaka, Yoshihito
Published: (2025)
A well-quasi-order for continuous functions
by: Carroy, Raphaël, et al.
Published: (2024)
by: Carroy, Raphaël, et al.
Published: (2024)
Isometry groups of Polish ultrametric spaces
by: Camerlo, Riccardo, et al.
Published: (2025)
by: Camerlo, Riccardo, et al.
Published: (2025)
An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)
by: Coquand, Thierry, et al.
Published: (2017)
Hypercontact semilattices
by: Lipparini, Paolo
Published: (2023)
by: Lipparini, Paolo
Published: (2023)
Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)
by: Aslan, Tuğba, et al.
Published: (2018)
Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)
by: Andréka, H., et al.
Published: (2018)
Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)
by: Knudstorp, Søren Brinck
Published: (2025)
Reduced Products of Collapsing Algebras
by: Kurilić, Miloš S.
Published: (2024)
by: Kurilić, Miloš S.
Published: (2024)
Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
by: Incatasciato, Guillermo L., et al.
Published: (2024)
by: Incatasciato, Guillermo L., et al.
Published: (2024)
Cutsets in ${\mathcal P}(X)$
by: Ginsburg, John, et al.
Published: (2025)
by: Ginsburg, John, et al.
Published: (2025)
Almost refinement, reaping, and ultrafilter numbers
by: Brendle, Jörg, et al.
Published: (2024)
by: Brendle, Jörg, et al.
Published: (2024)
Copies of Monomorphic Structures
by: Kurilić, Miloš S.
Published: (2023)
by: Kurilić, Miloš S.
Published: (2023)
Forcing With Copies of Uncountable Ordinals
by: Kurilić, Miloš S.
Published: (2023)
by: Kurilić, Miloš S.
Published: (2023)
Initial Tukey structure below a stable ordered-union ultrafilter
by: Özalp, Tan
Published: (2024)
by: Özalp, Tan
Published: (2024)
On Nash-Williams' Theorem regarding sequences with finite range
by: Pakhomov, Fedor, et al.
Published: (2024)
by: Pakhomov, Fedor, et al.
Published: (2024)
Amalgamation in classes of involutive commutative residuated lattices
by: Jenei, Sándor
Published: (2020)
by: Jenei, Sándor
Published: (2020)
Towards Better: A motivated introduction to better-quasi-orders
by: Pequignot, Yann
Published: (2016)
by: Pequignot, Yann
Published: (2016)
Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
by: Cornejo, Juan M., et al.
Published: (2024)
by: Cornejo, Juan M., et al.
Published: (2024)
Cohen-like first order structures
by: Kostana, Ziemowit
Published: (2020)
by: Kostana, Ziemowit
Published: (2020)
Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)
by: Bezhanishvili, Guram, et al.
Published: (2024)
Generalized Higman's Theorem and iterated ideals
by: Pakhomov, Fedor, et al.
Published: (2025)
by: Pakhomov, Fedor, et al.
Published: (2025)