Image de couverture de livre

A non-sequential arithmetical theory with pairing

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Murwanashyaka, Juvenal
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Friedman's $ \mathsf{WD} $ is not parameter-free sequential
par: Murwanashyaka, Juvenal
Publié: (2025)

A weak theory of building blocks
par: Juvenal Murwanashyaka
Publié: (2024)

Notes on Interpretability between Weak First-order Theories: Theories of Sequences
par: Kristiansen, Lars, et autres
Publié: (2024)

Relative to any non-arithmetic set
par: Harrison-Trainor, Matthew
Publié: (2025)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
par: Ikari, Hiroyuki, et autres
Publié: (2026)

On matrix rank function over bounded arithmetics
par: Ken, Eitetsu, et autres
Publié: (2023)

On Presburger arithmetic extended with non-unary counting quantifiers
par: Habermehl, Peter, et autres
Publié: (2022)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
par: Hamkins, Joel David
Publié: (2022)

Axiomatization of Büchi arithmetic
par: Kovalyov, Konstantin
Publié: (2024)

Definable sets in Skolem arithmetic
par: Kamiński, Łukasz
Publié: (2025)

Graphings of arithmetical equivalence relations
par: Arant, Tyler
Publié: (2025)

Iterating reflection over intuitionistic arithmetic
par: Frittaion, Emanuele
Publié: (2024)

The modal logic of arithmetic potentialism and the universal algorithm
par: Hamkins, Joel David
Publié: (2018)

Searching problems above arithmetical transfinite recursion
par: Suzuki, Yudai, et autres
Publié: (2023)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
par: Das, Anupam, et autres
Publié: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
par: Haase, Christoph, et autres
Publié: (2024)

The exponential logic of sequentialization
par: Alcolei, Aurore, et autres
Publié: (2023)

Analysis of logics with arithmetic
par: Benedikt, Michael, et autres
Publié: (2025)

Completeness theorems for modal logic in second-order arithmetic
par: Shimomichi, Sho, et autres
Publié: (2025)

Pathwise-random trees and models of second-order arithmetic
par: Barmpalias, George, et autres
Publié: (2021)

On the representation of C-recursive integer sequences by arithmetic terms
par: Prunescu, Mihai, et autres
Publié: (2024)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
par: Kaneko, Yuzuki, et autres
Publié: (2026)

Higher-order generalizations of stability and arithmetic regularity
par: Terry, C., et autres
Publié: (2021)

Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
par: Bahrami, Saeideh
Publié: (2022)

Models of true arithmetic are integer parts of nice real closed fields
par: Carl, Merlin
Publié: (2013)

Higher arithmetic on the ordinals
par: Ducourtial, Adrian
Publié: (2025)

The complexity of Presburger arithmetic with power or powers
par: Benedikt, Michael, et autres
Publié: (2023)

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
par: Bahrami, Saeideh
Publié: (2026)

Stabilizers and NIP arithmetic regularity
par: Conant, G., et autres
Publié: (2025)

An arithmetic algebraic regularity lemma
par: Pillay, Anand, et autres
Publié: (2024)

Categoricity and non-arithmetic Fuchsian groups
par: Baldwin, John, et autres
Publié: (2026)

Decidability of extensions of Presburger arithmetic by generalised polynomials
par: Konieczny, Jakub
Publié: (2024)

Supersimplicity and arithmetic progressions
par: Martin-Pizarro, Amador, et autres
Publié: (2025)

A logical limit law for the sequential model of preferential attachment graphs
par: Özdemir, Alperen
Publié: (2024)

An analytic version of stable arithmetic regularity
par: Conant, Gabriel, et autres
Publié: (2024)

Categorical structure in coherent theory of arithmetic
par: Ye, Lingyuan
Publié: (2023)

Conservation of Ramsey's theorem for pairs and well-foundedness
par: Houérou, Quentin Le, et autres
Publié: (2024)

Skands and coskands (The non-founded set theory with individuals and its model in the Field of all Conway numbers)
par: Lisica, Ju. T.
Publié: (2025)

Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate
par: Rybakov, Mikhail
Publié: (2025)

Undecidability of theories of semirings with fixed points
par: Das, Anupam, et autres
Publié: (2025)