Buchumschlag

On the representation of C-recursive integer sequences by arithmetic terms

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Prunescu, Mihai, Sauras-Altuzarra, Lorenzo
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the representation of number-theoretic functions by arithmetic terms
von: Prunescu, Mihai, et al.
Veröffentlicht: (2024)

A Minimal Substitution Basis for the Kalmár Elementary Functions
von: Prunescu, Mihai, et al.
Veröffentlicht: (2025)

On other two representations of the C-recursive integer sequences by terms in modular arithmetic
von: Prunescu, Mihai
Veröffentlicht: (2024)

On modular representations of C-recursive integer sequences
von: Prunescu, Mihai, et al.
Veröffentlicht: (2025)

Arithmetic-term representations for the greatest common divisor
von: Prunescu, Mihai, et al.
Veröffentlicht: (2024)

Polynomial Fingerprinting for Trees and Formulas
von: Prunescu, Mihai
Veröffentlicht: (2025)

On the first-order theory of the remainder
von: Prunescu, Mihai
Veröffentlicht: (2025)

On polynomial systems of equations in square matrices filled with natural numbers
von: Prunescu, Mihai
Veröffentlicht: (2025)

Searching problems above arithmetical transfinite recursion
von: Suzuki, Yudai, et al.
Veröffentlicht: (2023)

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
von: Bahrami, Saeideh
Veröffentlicht: (2026)

Models of true arithmetic are integer parts of nice real closed fields
von: Carl, Merlin
Veröffentlicht: (2013)

Arithmetic Terms for Multinomial Coefficient Sums
von: Shunia, Joseph M., et al.
Veröffentlicht: (2023)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
von: Bobrow, Elliot, et al.
Veröffentlicht: (2025)

On arithmetic terms expressing the prime-counting function and the n-th prime
von: Prunescu, Mihai, et al.
Veröffentlicht: (2024)

Primitive recursive categoricity spectra
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

On matrix rank function over bounded arithmetics
von: Ken, Eitetsu, et al.
Veröffentlicht: (2023)

Peano Arithmetic, games and descent recursion
von: Frittaion, Emanuele
Veröffentlicht: (2024)

Axiomatization of Büchi arithmetic
von: Kovalyov, Konstantin
Veröffentlicht: (2024)

Primitive recursive categoricity spectra of functional structures
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2026)

Definable sets in Skolem arithmetic
von: Kamiński, Łukasz
Veröffentlicht: (2025)

Graphings of arithmetical equivalence relations
von: Arant, Tyler
Veröffentlicht: (2025)

Iterating reflection over intuitionistic arithmetic
von: Frittaion, Emanuele
Veröffentlicht: (2024)

Relative to any non-arithmetic set
von: Harrison-Trainor, Matthew
Veröffentlicht: (2025)

On dp-minimal expansions of the integers
von: Alouf, Eran
Veröffentlicht: (2020)

On SCC-recursiveness in Quantitative Argumentation
von: Wang, Zongshun, et al.
Veröffentlicht: (2020)

The modal logic of arithmetic potentialism and the universal algorithm
von: Hamkins, Joel David
Veröffentlicht: (2018)

A non-sequential arithmetical theory with pairing
von: Murwanashyaka, Juvenal
Veröffentlicht: (2025)

Inquisitive first-order logic is neither compact nor recursively axiomatizable
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2026)

An efficient quantifier elimination procedure for Presburger arithmetic
von: Haase, Christoph, et al.
Veröffentlicht: (2024)

Analysis of logics with arithmetic
von: Benedikt, Michael, et al.
Veröffentlicht: (2025)

Completeness theorems for modal logic in second-order arithmetic
von: Shimomichi, Sho, et al.
Veröffentlicht: (2025)

Pathwise-random trees and models of second-order arithmetic
von: Barmpalias, George, et al.
Veröffentlicht: (2021)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
von: Kaneko, Yuzuki, et al.
Veröffentlicht: (2026)

On a lattice of relational spaces (reducts) for the order of integers
von: Semenov, A. L., et al.
Veröffentlicht: (2024)

An exposition on the supersimplicity of certain expansions of the additive group of the integers
von: Martin-Pizarro, Amador, et al.
Veröffentlicht: (2025)

Higher-order generalizations of stability and arithmetic regularity
von: Terry, C., et al.
Veröffentlicht: (2021)

Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
von: Bahrami, Saeideh
Veröffentlicht: (2022)

Higher arithmetic on the ordinals
von: Ducourtial, Adrian
Veröffentlicht: (2025)

The complexity of Presburger arithmetic with power or powers
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
von: Ikari, Hiroyuki, et al.
Veröffentlicht: (2026)