Buchumschlag

Axiomatizations of Presburger Arithmetic With Predicates For Powers

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hieronymi, Philipp, Reitmeir, Michael, Wang, Xiaoduo
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic 03B25, 03C10
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence
von: Khani, Mohsen, et al.
Veröffentlicht: (2025)

Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions
von: Brown, Hera, et al.
Veröffentlicht: (2025)

Some contributions to presheaf model theory, II -- back and forth
von: Brunner, Andreas, et al.
Veröffentlicht: (2026)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
von: Baldwin, John T., et al.
Veröffentlicht: (2026)

Linear Orders in Presburger Arithmetic
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2022)

A classical-logic view on a paraconsistent logic
von: Middelburg, C. A.
Veröffentlicht: (2020)

Herbrand's Theorem: a short statement and a model-theoretic proof
von: Badano, Mariana
Veröffentlicht: (2025)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
von: Oddsson, Hrafn Valtýr
Veröffentlicht: (2026)

Independence questions in a finite axiom-schematization of first-order logic
von: Jubin, Benoit
Veröffentlicht: (2022)

Herbrandized modified realizability
von: Ferreira, Gilda, et al.
Veröffentlicht: (2024)

Interpolation and the Exchange Rule
von: Fussner, Wesley, et al.
Veröffentlicht: (2023)

Term algebras of elementarily equivalent atom structures
von: Andréka, H., et al.
Veröffentlicht: (2018)

Minimal Axiomatization of Boolean Algebras
von: Zhang, Eugene
Veröffentlicht: (2023)

More conservativity for weak Kőnig's lemma
von: Freund, Anton, et al.
Veröffentlicht: (2024)

Finite models for positive combinatorial and exponential algebra
von: Alsulami, Tumadhir, et al.
Veröffentlicht: (2024)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
von: Baldwin, John T., et al.
Veröffentlicht: (2026)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)

Cantor's Non-Equinumerosity Theorems, Inductively
von: Salehi, Saeed
Veröffentlicht: (2025)

Maehara Interpolation in Extensions of R-mingle
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

The Borel monadic theory of order is decidable
von: Manthe, Sven
Veröffentlicht: (2024)

The Monadic Grzegorczyk Logic
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

The modal theory of the category of sets
von: Wołoszyn, Wojciech Aleksander
Veröffentlicht: (2026)

Taking model-complete cores
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2025)

Decidability of the theory of modules over Prüfer domains with infinite residue fields
von: Gregory, Lorna, et al.
Veröffentlicht: (2017)

Decidability of the theory of modules over Prüfer domains with dense value groups
von: Gregory, Lorna, et al.
Veröffentlicht: (2019)

Existentially closed models and locally zero-dimensional toposes
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

The Uniform Functional Interpretation with Informative Types
von: Ferreira, Fernando, et al.
Veröffentlicht: (2025)

A Non-Constructive Proof of Cantor's Theorem
von: Salehi, Saeed
Veröffentlicht: (2025)

A New Construction Principle
von: Hyttinen, Tapani, et al.
Veröffentlicht: (2025)

Variants of Łoś's Theorem
von: Usuba, Toshimichi
Veröffentlicht: (2025)

Extensions of categoricity relative to a degree
von: Villano, Java Darleen
Veröffentlicht: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
von: Erdélyi-Szabó, Miklós
Veröffentlicht: (2024)

A generalized Cantor theorem in ZF
von: Peng, Yinhe, et al.
Veröffentlicht: (2021)

A topos for extended Weihrauch degrees
von: Maschio, Samuele, et al.
Veröffentlicht: (2025)

Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
von: Khani, Mohsen, et al.
Veröffentlicht: (2021)

Stable reducts of elementary extensions of Presburger arithmetic
von: Alouf, Eran, et al.
Veröffentlicht: (2024)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
von: Knudstorp, Søren Brinck
Veröffentlicht: (2025)

Tightness and solidity in fragments of Peano Arithmetic
von: Gruza, Piotr, et al.
Veröffentlicht: (2025)

Models for the common knowledge logic
von: Tanaka, Yoshihito
Veröffentlicht: (2024)