Imagen de Portada

Primitive recursive categoricity spectra of functional structures

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bazhenov, Nikolay, Koh, Heer Tern, Ng, Keng Meng
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Primitive recursive categoricity spectra
por: Bazhenov, Nikolay, et al.
Publicado: (2026)

Computable topological groups
por: Koh, Heer Tern, et al.
Publicado: (2022)

Almost free algebras: from the word problem to elimination of quantifiers
por: Jia, Yifan, et al.
Publicado: (2026)

A note on the degree structure of primitive recursive m-reducibility
por: Kalmurzayev, Birzhan, et al.
Publicado: (2023)

The subTuring degrees
por: Kihara, Takayuki, et al.
Publicado: (2024)

Computable classifications of continuous, transducer, and regular functions
por: Franklin, Johanna N. Y., et al.
Publicado: (2020)

sp-Homogeneous Linear Orderings
por: Calvert, Wesley, et al.
Publicado: (2025)

Classifying different criteria for learning algebraic structures
por: Bazhenov, Nikolay, et al.
Publicado: (2024)

The computational content of multidimensional discontinuity
por: Hölzl, Rupert, et al.
Publicado: (2024)

The singleton degrees of the $Σ^0_2$ sets are not dense
por: Kent, Thomas F., et al.
Publicado: (2024)

Online and feasible presentability: from trees to modal algebras
por: Bazhenov, Nikolay, et al.
Publicado: (2025)

Primitive Recursive Dependent Type Theory
por: Buchholtz, Ulrik, et al.
Publicado: (2024)

Conjunctive reducibilities and completeness
por: Chitaia, Irakli, et al.
Publicado: (2026)

Invariant Keisler measures for omega-categorical structures
por: Marimon, Paolo
Publicado: (2022)

The very dependent recursive structure of iterated parametricity in indexed form
por: Herbelin, Hugo, et al.
Publicado: (2026)

A categorical formulation of Kraus' paradox
por: Swan, Andrew W.
Publicado: (2024)

Games as recursive coalgebras: A categorical view on the Nim-sum
por: Hora, Ryuya
Publicado: (2025)

Labelled growth rates of $ω$-categorical structures and applications in choiceless set theory
por: Bodor, Bertalan, et al.
Publicado: (2025)

Finite final segments of the d.c.e. Turing degrees
por: Lempp, Steffen, et al.
Publicado: (2024)

Peano Arithmetic, games and descent recursion
por: Frittaion, Emanuele
Publicado: (2024)

Searching problems above arithmetical transfinite recursion
por: Suzuki, Yudai, et al.
Publicado: (2023)

Open Problems in Computability Theory and Descriptive Set Theory
por: Barmpalias, George, et al.
Publicado: (2025)

On the representation of C-recursive integer sequences by arithmetic terms
por: Prunescu, Mihai, et al.
Publicado: (2024)

On SCC-recursiveness in Quantitative Argumentation
por: Wang, Zongshun, et al.
Publicado: (2020)

Ultraproducts in abstract categorical logic
por: Aiguier, Marc, et al.
Publicado: (2024)

Inquisitive first-order logic is neither compact nor recursively axiomatizable
por: Ciardelli, Ivano, et al.
Publicado: (2026)

Learning Families of Algebraic Structures from Text
por: Bazhenov, Nikolay, et al.
Publicado: (2024)

Ordinals and recursively defined functions on the reals
por: Nivasch, Gabriel, et al.
Publicado: (2023)

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

Omega-categorical groups and rings of finite dimension
por: Invitti, Moreno
Publicado: (2025)

Unstable independence from the categorical point of view
por: Kamsma, Mark, et al.
Publicado: (2023)

A non-computable c.e. closed subset of $[0,1]$
por: Badaev, Serikzhan, et al.
Publicado: (2025)

Complexity results for modal logic with recursion via translations and tableaux
por: Aceto, Luca, et al.
Publicado: (2023)

A constructive approach to the double-categorical small object argument
por: Berg, Benno van den, et al.
Publicado: (2025)

Computable categoricity relative to a c.e. degree
por: Villano, Java Darleen
Publicado: (2024)

Omega-categorical limits of betweenness relations and $D$-sets
por: Almazaydeh, Asma Ibrahim, et al.
Publicado: (2024)

Remarks on relative categoricity
por: Pillay, Anand
Publicado: (2026)

Degree spectra of homeomorphism types of compact Polish spaces
por: Hoyrup, Mathieu, et al.
Publicado: (2020)

Operational Inexpressibility at the Step-Duplicating Primitive Recursor Orientation Boundary
por: Rahnama, Moses
Publicado: (2026)

Primitive pseudo-finite permutation groups of finite SU-rank
por: Karhumäki, Ulla, et al.
Publicado: (2025)