Imagen de Portada

Linear Orders in Presburger Arithmetic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Pakhomov, Fedor, Zapryagaev, Alexander
Formato:	Preprint
Publicado:	2022
Materias:	Logic 03F30, 06A05, 03F25 F.4.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Well-quasi-orders on finite trees and transfinite sequences
por: Chopra, Alakh Dhruv, et al.
Publicado: (2026)

On Nash-Williams' Theorem regarding sequences with finite range
por: Pakhomov, Fedor, et al.
Publicado: (2024)

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

Serial Properties, Selector Proofs, and the Provability of Consistency
por: Artemov, Sergei
Publicado: (2024)

Non-Compact Proofs
por: Artemov, Sergei
Publicado: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
por: Artemov, Sergei
Publicado: (2025)

Arithmetics within the Linear Time Hierarchy
por: Pollett, Chris
Publicado: (2025)

A Constructive Fragment of Physical Propositions
por: Rosko, Milan
Publicado: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
por: Hori, Hiromasa, et al.
Publicado: (2023)

On the computational properties of ambivalent sets and functions
por: Normann, Dag, et al.
Publicado: (2026)

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

Completions of Restricted Complexity I, Weak Arithmetical Theories
por: Enayat, Ali, et al.
Publicado: (2025)

The reverse mathematics of the pigeonhole hierarchy
por: Houérou, Quentin Le, et al.
Publicado: (2024)

Consistent ultrafinitist logic
por: Gajda, Michał J.
Publicado: (2021)

Structural focalization
por: Simmons, Robert J.
Publicado: (2011)

On distance logics of Euclidean spaces
por: Agnew, Gabriel, et al.
Publicado: (2025)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
por: Shamkanov, Daniyar
Publicado: (2021)

Adversarial Barrier in Uniform Class Separation
por: Rosko, Milan
Publicado: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
por: Vodrazka, Daniel
Publicado: (2025)

Sufficient conditions for local tabularity of a polymodal logic
por: Shapirovsky, Ilya B.
Publicado: (2022)

Tightness and solidity in fragments of Peano Arithmetic
por: Gruza, Piotr, et al.
Publicado: (2025)

The logic of bunched implications is undecidable
por: Galatos, Nick, et al.
Publicado: (2026)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

On the Realizability of Prime Conjectures in Heyting Arithmetic
por: Rosko, Milan
Publicado: (2025)

When Bi-interpretability implies Synonymy
por: Friedman, Harvey M., et al.
Publicado: (2025)

Glivenko's theorems from an ecumenical perspective
por: Pereira, Luiz Carlos, et al.
Publicado: (2026)

Feferman's completeness theorem
por: Pakhomov, Fedor, et al.
Publicado: (2024)

Maximal order types for sequences with gap condition
por: Uftring, Patrick
Publicado: (2025)

Proof Compression via Subatomic Logic and Guarded Substitutions
por: Barrett, Victoria, et al.
Publicado: (2025)

Undecidability in Relevant Logic
por: Knudstorp, Søren Brinck
Publicado: (2026)

Dismantling the Surprise Test "Paradox"
por: Dietzfelbinger, Martin
Publicado: (2026)

On a Theorem by Bezboruah & Shepherdson
por: Visser, Albert
Publicado: (2026)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
por: Bacik, Piotr, et al.
Publicado: (2026)

Possibility Semantics
por: Holliday, Wesley H.
Publicado: (2024)

There are no minimal effectively inseparable theories
por: Cheng, Yong
Publicado: (2022)

From Numbers to Container Strings
por: Visser, Albert
Publicado: (2024)

On Rosser theories
por: Cheng, Yong
Publicado: (2024)

Pour-El's Landscape
por: Kurahashi, Taishi, et al.
Publicado: (2023)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
por: Buriola, Gabriele, et al.
Publicado: (2025)

Locally tabular products of modal logics
por: Shapirovsky, Ilya B., et al.
Publicado: (2024)