A note on the theory of well orders
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
On the theory of exponential integer parts
por: Jeřábek, Emil
Publicado: (2024)
por: Jeřábek, Emil
Publicado: (2024)
A simplified lower bound for implicational logic
por: Jeřábek, Emil
Publicado: (2023)
por: Jeřábek, Emil
Publicado: (2023)
Ultracontact algebras and stack systems
por: Carai, Luca, et al.
Publicado: (2026)
por: Carai, Luca, et al.
Publicado: (2026)
Generalized sums of linear orders
por: Ramos, Álvaro Díaz, et al.
Publicado: (2025)
por: Ramos, Álvaro Díaz, et al.
Publicado: (2025)
Untranscendable order types
por: Ervin, Garrett, et al.
Publicado: (2026)
por: Ervin, Garrett, et al.
Publicado: (2026)
Revisiting Interpolation in Relevant Logics
por: Fussner, Wesley, et al.
Publicado: (2025)
por: Fussner, Wesley, et al.
Publicado: (2025)
Neighborhood and algebraic models for predicate modal logics with $ω$-rules
por: Tanaka, Yoshihito
Publicado: (2025)
por: Tanaka, Yoshihito
Publicado: (2025)
Generalized Higman's Theorem and iterated ideals
por: Pakhomov, Fedor, et al.
Publicado: (2025)
por: Pakhomov, Fedor, et al.
Publicado: (2025)
The most natural paradefinite logic relative to classical logic
por: Middelburg, C. A.
Publicado: (2026)
por: Middelburg, C. A.
Publicado: (2026)
Apartness relations between propositions
por: Kocsis, Zoltan A.
Publicado: (2022)
por: Kocsis, Zoltan A.
Publicado: (2022)
Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
por: Knudstorp, Søren Brinck
Publicado: (2025)
por: Knudstorp, Søren Brinck
Publicado: (2025)
A classical-logic view on a paraconsistent logic
por: Middelburg, C. A.
Publicado: (2020)
por: Middelburg, C. A.
Publicado: (2020)
Squares, scales and lines
por: Cummings, James
Publicado: (2025)
por: Cummings, James
Publicado: (2025)
Infinite-Exponent Partition Relations on Higher Analogues of the Real Line
por: Gardiner, Lyra A., et al.
Publicado: (2026)
por: Gardiner, Lyra A., et al.
Publicado: (2026)
Maehara Interpolation in Extensions of R-mingle
por: Fussner, Wesley, et al.
Publicado: (2025)
por: Fussner, Wesley, et al.
Publicado: (2025)
Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals
por: Buriola, G., et al.
Publicado: (2025)
por: Buriola, G., et al.
Publicado: (2025)
Bourbaki--Zorn Normal Forms for Maximality Arguments
por: Liu, You-Chang
Publicado: (2026)
por: Liu, You-Chang
Publicado: (2026)
(Extra)ordinary equivalences with the ascending/descending sequence principle
por: Fiori-Carones, Marta, et al.
Publicado: (2021)
por: Fiori-Carones, Marta, et al.
Publicado: (2021)
Decidable varieties of p-algebras
por: Kowalski, Tomasz, et al.
Publicado: (2024)
por: Kowalski, Tomasz, et al.
Publicado: (2024)
Stone type representation theorems via games
por: Aslan, Tuğba, et al.
Publicado: (2018)
por: Aslan, Tuğba, et al.
Publicado: (2018)
Some questions on entangled linear orders
por: Carroy, Raphaël, et al.
Publicado: (2025)
por: Carroy, Raphaël, et al.
Publicado: (2025)
The Borel monadic theory of order is decidable
por: Manthe, Sven
Publicado: (2024)
por: Manthe, Sven
Publicado: (2024)
A well-quasi-order for continuous functions
por: Carroy, Raphaël, et al.
Publicado: (2024)
por: Carroy, Raphaël, et al.
Publicado: (2024)
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
por: Ayhan, Sara
Publicado: (2023)
por: Ayhan, Sara
Publicado: (2023)
Canonicity in power and modal logics of finite achronal width
por: Goldblatt, Robert, et al.
Publicado: (2022)
por: Goldblatt, Robert, et al.
Publicado: (2022)
Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
por: Cerda, Rémy, et al.
Publicado: (2022)
por: Cerda, Rémy, et al.
Publicado: (2022)
The bottom of the lattice of BCK-varieties
por: Kowalski, Tomasz
Publicado: (2024)
por: Kowalski, Tomasz
Publicado: (2024)
Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
por: Gallardo, Andrés, et al.
Publicado: (2024)
por: Gallardo, Andrés, et al.
Publicado: (2024)
The interdefinability of expansions of Belnap-Dunn logic
por: Middelburg, C. A.
Publicado: (2024)
por: Middelburg, C. A.
Publicado: (2024)
The modal theory of linear orders
por: Wołoszyn, Wojciech Aleksander
Publicado: (2026)
por: Wołoszyn, Wojciech Aleksander
Publicado: (2026)
A model theory of topology
por: Lipparini, Paolo
Publicado: (2022)
por: Lipparini, Paolo
Publicado: (2022)
On the equational theory of finite modular lattices
por: Herrmann, Christian
Publicado: (2024)
por: Herrmann, Christian
Publicado: (2024)
Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines
por: Inamdar, Tanmay, et al.
Publicado: (2024)
por: Inamdar, Tanmay, et al.
Publicado: (2024)
Embeddability on functions: order and chaos
por: Carroy, Raphaël, et al.
Publicado: (2018)
por: Carroy, Raphaël, et al.
Publicado: (2018)
Hypercontact semilattices
por: Lipparini, Paolo
Publicado: (2023)
por: Lipparini, Paolo
Publicado: (2023)
A non-uniform view of Craig interpolation in modal logics with linear frames
por: Kurucz, Agi, et al.
Publicado: (2023)
por: Kurucz, Agi, et al.
Publicado: (2023)