Image de couverture de livre

Linear Orders in Presburger Arithmetic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Pakhomov, Fedor, Zapryagaev, Alexander
Format:	Preprint
Publié:	2022
Sujets:	Logic 03F30, 06A05, 03F25 F.4.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Well-quasi-orders on finite trees and transfinite sequences
par: Chopra, Alakh Dhruv, et autres
Publié: (2026)

On Nash-Williams' Theorem regarding sequences with finite range
par: Pakhomov, Fedor, et autres
Publié: (2024)

Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence
par: Khani, Mohsen, et autres
Publié: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
par: Artemov, Sergei
Publié: (2024)

Non-Compact Proofs
par: Artemov, Sergei
Publié: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
par: Artemov, Sergei
Publié: (2025)

Arithmetics within the Linear Time Hierarchy
par: Pollett, Chris
Publié: (2025)

A Constructive Fragment of Physical Propositions
par: Rosko, Milan
Publié: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
par: Hori, Hiromasa, et autres
Publié: (2023)

On the computational properties of ambivalent sets and functions
par: Normann, Dag, et autres
Publié: (2026)

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
par: Knudstorp, Søren Brinck
Publié: (2025)

Completions of Restricted Complexity I, Weak Arithmetical Theories
par: Enayat, Ali, et autres
Publié: (2025)

The reverse mathematics of the pigeonhole hierarchy
par: Houérou, Quentin Le, et autres
Publié: (2024)

Consistent ultrafinitist logic
par: Gajda, Michał J.
Publié: (2021)

Structural focalization
par: Simmons, Robert J.
Publié: (2011)

On distance logics of Euclidean spaces
par: Agnew, Gabriel, et autres
Publié: (2025)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
par: Shamkanov, Daniyar
Publié: (2021)

Adversarial Barrier in Uniform Class Separation
par: Rosko, Milan
Publié: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
par: Vodrazka, Daniel
Publié: (2025)

Sufficient conditions for local tabularity of a polymodal logic
par: Shapirovsky, Ilya B.
Publié: (2022)

Tightness and solidity in fragments of Peano Arithmetic
par: Gruza, Piotr, et autres
Publié: (2025)

The logic of bunched implications is undecidable
par: Galatos, Nick, et autres
Publié: (2026)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

On the Realizability of Prime Conjectures in Heyting Arithmetic
par: Rosko, Milan
Publié: (2025)

When Bi-interpretability implies Synonymy
par: Friedman, Harvey M., et autres
Publié: (2025)

Glivenko's theorems from an ecumenical perspective
par: Pereira, Luiz Carlos, et autres
Publié: (2026)

Feferman's completeness theorem
par: Pakhomov, Fedor, et autres
Publié: (2024)

Maximal order types for sequences with gap condition
par: Uftring, Patrick
Publié: (2025)

Proof Compression via Subatomic Logic and Guarded Substitutions
par: Barrett, Victoria, et autres
Publié: (2025)

Undecidability in Relevant Logic
par: Knudstorp, Søren Brinck
Publié: (2026)

Dismantling the Surprise Test "Paradox"
par: Dietzfelbinger, Martin
Publié: (2026)

On a Theorem by Bezboruah & Shepherdson
par: Visser, Albert
Publié: (2026)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
par: Bacik, Piotr, et autres
Publié: (2026)

Possibility Semantics
par: Holliday, Wesley H.
Publié: (2024)

Locally tabular products of modal logics
par: Shapirovsky, Ilya B., et autres
Publié: (2024)

There are no minimal effectively inseparable theories
par: Cheng, Yong
Publié: (2022)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
par: Buriola, Gabriele, et autres
Publié: (2025)

From Numbers to Container Strings
par: Visser, Albert
Publié: (2024)

On Rosser theories
par: Cheng, Yong
Publié: (2024)

Pour-El's Landscape
par: Kurahashi, Taishi, et autres
Publié: (2023)