Image de couverture de livre

Uniform Bounds in D-Minimal Structures

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Farris, Madie, Hieronymi, Philipp
Format:	Preprint
Publié:	2026
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Cobham theorem for scalar multiplication
par: Hieronymi, Philipp, et autres
Publié: (2024)

Decidability for Sturmian words
par: Hieronymi, Philipp, et autres
Publié: (2021)

Definability of the Integrability Locus in Polynomially Bounded o-Minimal Structures
par: Brown, L. C.
Publié: (2025)

Axiomatizations of Presburger Arithmetic With Predicates For Powers
par: Hieronymi, Philipp, et autres
Publié: (2026)

Uniform Local Weak o‐Minimality and ∗$*$‐Local Weak o‐Minimality
par: Masato Fujita
Publié: (2025)

Tho Modal Logic of Minimal Upper Bounds
par: Knudstorp, Søren Brinck
Publié: (2024)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
par: Narusevych, Mykyta
Publié: (2026)

On Lower Bounding Minimal Model Count
par: Kabir, Mohimenul, et autres
Publié: (2024)

Uniform interpolation with constructive diamond
par: van der Giessen, Iris, et autres
Publié: (2026)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
par: Férée, Hugo, et autres
Publié: (2026)

A General (Uniform) Relational Semantics for Sentential Logics
par: Hartonas, Chrysafis
Publié: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

Bounding 2D Functions by Products of 1D Functions
par: Dorais, François, et autres
Publié: (2016)

Uniform interpolation for interpretability logic
par: Horvat, Sebastijan, et autres
Publié: (2025)

Uniform Local Tabularity in Intuitionistic Logic
par: Almeida, Rodrigo Nicolau
Publié: (2026)

Topics, Non-Uniform Substitutions, and Variable Sharing
par: Standefer, Shawn, et autres
Publié: (2024)

On proving consistency of equational theories in Bounded Arithmetic
par: Beckmann, Arnold, et autres
Publié: (2022)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
par: van der Giessen, Iris, et autres
Publié: (2023)

Uniform Preorders and Partial Combinatory Algebras
par: Frey, Jonas
Publié: (2024)

Tolerance and the Bounds
par: Rohan French
Publié: (2021)

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
par: Mojtahedi, Mojtaba, et autres
Publié: (2024)

Bounded Structural Model Finding with Symbolic Data Constraints
par: Boronat, Artur
Publié: (2026)

Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
par: Grobner, Harald
Publié: (2026)

Uniform validity of atomic Split rule in monotonic proof-theoretic semantics
par: d'Aragona, Antonio Piccolomini
Publié: (2025)

The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
par: Hoffelner, Stefan
Publié: (2024)

Strongly Minimal Relics of T-convex Fields
par: Castle, Benjamin, et autres
Publié: (2024)

Metric Linear Orders and O-Minimality
par: Anderson, Aaron, et autres
Publié: (2025)

Ramsey Theory and Bounding in Arithmetic
par: Cholak, Peter
Publié: (2026)

Bounded depth in Hilbert algebras
par: Carai, Luca, et autres
Publié: (2026)

FO-Query Enumeration over SLP-Compressed Structures of Bounded Degree
par: Lohrey, Markus, et autres
Publié: (2025)

Uniform Agent-interpolation of Distributed Knowledge
par: Su, Youan
Publié: (2026)

Space-Bounded OTMs and REG$^{\infty}$
par: Carl, Merlin
Publié: (2017)

A Universe with large Continuum, global $Σ$-Uniformization and a projective Well-Order of its Reals
par: Hoffelner, Stefan
Publié: (2025)

Uniform Interpolation in Distributed Knowledge Modal Logics
par: Wang, Kexu, et autres
Publié: (2026)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
par: Sofronie-Stokkermans, Viorica
Publié: (2025)

Simple Classes of Automatic Structures
par: Blumensath, Achim
Publié: (2025)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
par: Narusevych, Mykyta
Publié: (2022)

Scott Spectral Gaps are Bounded for Linear Orderings
par: Gonzalez, David, et autres
Publié: (2024)

Cardinal Characteristics on Bounded Generalised Baire Spaces
par: van der Vlugt, Tristan
Publié: (2023)

Hierarchies of Beliefs and Measurable Uniformizations
par: Zoble, Stuart
Publié: (2025)