Imagen de Portada

On the theory of exponential integer parts

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Jeřábek, Emil
Formato:	Preprint
Publicado:	2024
Materias:	Logic Logic in Computer Science 03C62 (Primary) 03C64, 91A05 (Secondary)
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A note on the theory of well orders
por: Jeřábek, Emil
Publicado: (2024)

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

A simplified lower bound for implicational logic
por: Jeřábek, Emil
Publicado: (2023)

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

Nonvaluational ordered Abelian groups of finite burden
por: Fujita, Masato
Publicado: (2025)

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

Generic derivations on o-minimal structures
por: Fornasiero, Antongiulio, et al.
Publicado: (2019)

NTP2 topological structures
por: Guerrero, Pablo Andújar
Publicado: (2026)

Revisiting Interpolation in Relevant Logics
por: Fussner, Wesley, et al.
Publicado: (2025)

Combinatorial Bounds in Distal Structures
por: Anderson, Aaron
Publicado: (2021)

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

Zarankiewicz bounds from distal regularity lemma
por: Tong, Mervyn
Publicado: (2024)

The domination monoid in o-minimal theories
por: Mennuni, Rosario
Publicado: (2020)

Countable models of weakly quasi-o-minimal theories I
por: Moconja, Slavko, et al.
Publicado: (2024)

Definability over $\mathrm BΣ^0_2$-models
por: Chong, Chi Tat, et al.
Publicado: (2025)

Some model-theoretic consequences of high-arity uniform convergence, part I
por: Coregliano, Leonardo N., et al.
Publicado: (2026)

The modal theory of linear orders
por: Wołoszyn, Wojciech Aleksander
Publicado: (2026)

A dichotomy for $T$-convex fields with a monomial group
por: Kaplan, Elliot, et al.
Publicado: (2023)

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

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

Implicative models of set theory
por: Maschio, Samuele, et al.
Publicado: (2023)

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

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

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

On countable isotypic structures
por: Gvozdevsky, Pavel
Publicado: (2023)

Distality in Ordered Abelian Groups
por: Okura, Koki
Publicado: (2026)

Towards a Finer Classification of Strongly Minimal Sets
por: Baldwin, John T., et al.
Publicado: (2021)

Measurability in the Fundamental Theorem of Statistical Learning
por: Krapp, Lothar Sebastian, et al.
Publicado: (2024)

Satisfaction classes with approximate disjunctive correctness
por: Enayat, Ali
Publicado: (2023)

On Quantifiers for Quantitative Reasoning
por: Capucci, Matteo
Publicado: (2024)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
por: Wolter, Frank, et al.
Publicado: (2024)

A non-uniform view of Craig interpolation in modal logics with linear frames
por: Kurucz, Agi, et al.
Publicado: (2023)

Interpolation in Non-Classical Logics
por: Fussner, Wesley
Publicado: (2025)

Interpolation above S4
por: Santschi, Simon, et al.
Publicado: (2026)

On double-membership graphs of models of Anti-Foundation
por: Adam-Day, Bea, et al.
Publicado: (2019)

$T$-convexity, Weakly Immediate Types, and $T$-$λ$-Spherical Completions of o-minimal Structures
por: Freni, Pietro
Publicado: (2024)

Lipchitz curve selection and its application to Thamrongthanyalak's open problem
por: Fujita, Masato
Publicado: (2024)

$T$-convexly valued o-minimal fields are definably spherically complete
por: Freni, Pietro
Publicado: (2024)

Definable $\mathcal C^r$ structures on definable topological groups in d-minimal structures
por: Fujita, Masato
Publicado: (2024)

Forking and invariant types in regular ordered Abelian groups
por: Hossain, Akash
Publicado: (2023)