:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Farris, Madie, Hieronymi, Philipp
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2606.02316
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

Decidability for Sturmian words
by: Hieronymi, Philipp, et al.
Published: (2021)

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

Axiomatizations of Presburger Arithmetic With Predicates For Powers
by: Hieronymi, Philipp, et al.
Published: (2026)

Uniform Local Weak o‐Minimality and ∗$*$‐Local Weak o‐Minimality
by: Masato Fujita
Published: (2025)

Tho Modal Logic of Minimal Upper Bounds
by: Knudstorp, Søren Brinck
Published: (2024)

On Lower Bounding Minimal Model Count
by: Kabir, Mohimenul, et al.
Published: (2024)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
by: Narusevych, Mykyta
Published: (2026)

Uniform interpolation with constructive diamond
by: van der Giessen, Iris, et al.
Published: (2026)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
by: Férée, Hugo, et al.
Published: (2026)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)

Bounding 2D Functions by Products of 1D Functions
by: Dorais, François, et al.
Published: (2016)

Uniform interpolation for interpretability logic
by: Horvat, Sebastijan, et al.
Published: (2025)

Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)

Uniform Local Tabularity in Intuitionistic Logic
by: Almeida, Rodrigo Nicolau
Published: (2026)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
by: van der Giessen, Iris, et al.
Published: (2023)

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)

Tolerance and the Bounds
by: Rohan French
Published: (2021)

Topics, Non-Uniform Substitutions, and Variable Sharing
by: Standefer, Shawn, et al.
Published: (2024)

Bounded Structural Model Finding with Symbolic Data Constraints
by: Boronat, Artur
Published: (2026)

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
by: Mojtahedi, Mojtaba, et al.
Published: (2024)

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

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

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

The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)

Uniform Agent-interpolation of Distributed Knowledge
by: Su, Youan
Published: (2026)

FO-Query Enumeration over SLP-Compressed Structures of Bounded Degree
by: Lohrey, Markus, et al.
Published: (2025)

Strongly Minimal Relics of T-convex Fields
by: Castle, Benjamin, et al.
Published: (2024)

Metric Linear Orders and O-Minimality
by: Anderson, Aaron, et al.
Published: (2025)

Minimal covers in the Weihrauch degrees
by: Lempp, Steffen, et al.
Published: (2023)

Hierarchies of Beliefs and Measurable Uniformizations
by: Zoble, Stuart
Published: (2025)

Ramsey Theory and Bounding in Arithmetic
by: Cholak, Peter
Published: (2026)

Bounded depth in Hilbert algebras
by: Carai, Luca, et al.
Published: (2026)

Uniform Interpolation in Distributed Knowledge Modal Logics
by: Wang, Kexu, et al.
Published: (2026)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
by: Sofronie-Stokkermans, Viorica
Published: (2025)

Simple Classes of Automatic Structures
by: Blumensath, Achim
Published: (2025)

Space-Bounded OTMs and REG$^{\infty}$
by: Carl, Merlin
Published: (2017)

Testing Uniform Random Samplers: Methods, Datasets and Protocols
by: Zeyen, Olivier, et al.
Published: (2025)

Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
by: Mählmann, Nikolas
Published: (2025)