Cover Image

The modal theory of linear orders

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Wołoszyn, Wojciech Aleksander
Format:	Preprint
Published:	2026
Subjects:	Logic 03B45, 03C64, 06A05
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The modal theory of the category of sets
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Modal group theory
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Modal group theory: homomorphisms
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Elementary properties of free lattices II: Decidability of the universal theory
by: Nation, J. B., et al.
Published: (2025)

Elementary properties of free lattices III: Undecidability of the full theory
by: Nation, J. B., et al.
Published: (2025)

Elementary Properties of Free Lattices
by: Nation, J. B., et al.
Published: (2023)

The number of countable models of first-order theories
by: Pillay, Anand, et al.
Published: (2025)

Strict potentialism in modal mirrors
by: Linnebo, Øystein
Published: (2026)

Limit Semigroups with 2 Generators
by: Estrada, Felipe, et al.
Published: (2025)

VC-Density in Pairs of Ordered Vector Space
by: Günaydın, Ayhan, et al.
Published: (2024)

The Amalgamation Property for automorphisms of ordered abelian groups
by: Dobrowolski, Jan, et al.
Published: (2022)

Distality in Ordered Abelian Groups
by: Okura, Koki
Published: (2026)

Stable reducts of elementary extensions of Presburger arithmetic
by: Alouf, Eran, et al.
Published: (2024)

Nonvaluational ordered Abelian groups of finite burden
by: Fujita, Masato
Published: (2025)

Orthogonality and domination in o-minimal expansions of ordered groups
by: Guerrero, Pablo Andújar, et al.
Published: (2025)

On the shatter function of semilinear set systems
by: Basit, Abdul, et al.
Published: (2025)

Stable formulas in ordered structures
by: Hoffmann, Daniel Max, et al.
Published: (2020)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
by: Sato, Yuta
Published: (2025)

NTP2 topological structures
by: Guerrero, Pablo Andújar
Published: (2026)

Cardinality of the sets of dimension functions in ordered structures
by: Fujita, Masato
Published: (2025)

Ellis enveloping semigroups in real closed fields
by: Baro, Elías, et al.
Published: (2023)

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

Combinatorial Bounds in Distal Structures
by: Anderson, Aaron
Published: (2021)

The O-minimal Zilber Conjecture in Higher Dimensions
by: Castle, Benjamin
Published: (2024)

Zarankiewicz bounds from distal regularity lemma
by: Tong, Mervyn
Published: (2024)

On the theory of exponential integer parts
by: Jeřábek, Emil
Published: (2024)

Cohen-like first order structures
by: Kostana, Ziemowit
Published: (2020)

The domination monoid in o-minimal theories
by: Mennuni, Rosario
Published: (2020)

The Monadic Grzegorczyk Logic
by: Bezhanishvili, Guram, et al.
Published: (2024)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
by: Bezhanishvili, Guram, et al.
Published: (2025)

Dimension functions in weakly o-minimal structures admitting strong cell decomposition
by: Fujita, Masato
Published: (2025)

Externally definable fsg groups in NIP theories
by: Chernikov, Artem
Published: (2025)

The generalized continuous model theory, Borel complexity and stability
by: Ivanov, Aleksander
Published: (2026)

Definable Functions to Quotients in Ordered Abelian Groups
by: Wells, Harper
Published: (2026)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Modern Definition and Ancient Definition
by: Protin, Clarence
Published: (2022)

Aristotle's Second-Order Logic and Natural Deduction
by: Protin, Clarence
Published: (2023)

The countable condensation on linear orders
by: Brown, Jennifer, et al.
Published: (2025)

Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
by: Buriola, Gabriele, et al.
Published: (2025)