:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bazhenov, Nikolay, Koh, Heer Tern, Ng, Keng Meng
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2603.08006
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Primitive recursive categoricity spectra of functional structures
by: Bazhenov, Nikolay, et al.
Published: (2026)

Computable topological groups
by: Koh, Heer Tern, et al.
Published: (2022)

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

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

The subTuring degrees
by: Kihara, Takayuki, et al.
Published: (2024)

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

sp-Homogeneous Linear Orderings
by: Calvert, Wesley, et al.
Published: (2025)

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

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

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

Conjunctive reducibilities and completeness
by: Chitaia, Irakli, et al.
Published: (2026)

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

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

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

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

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

Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)

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

Peano Arithmetic, games and descent recursion
by: Frittaion, Emanuele
Published: (2024)

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

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

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

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

Ultraproducts in abstract categorical logic
by: Aiguier, Marc, et al.
Published: (2024)

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

A Lopez-Escobar Theorem for Continuous Domains
by: Bazhenov, Nikolay, et al.
Published: (2023)

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

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

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

An effective version of the Stone duality
by: Bazhenov, Nikolay A., et al.
Published: (2026)

Punctually Standard and Nonstandard Models of Natural Numbers
by: Bazhenov, Nikolay, et al.
Published: (2026)

Invariant Keisler measures for omega-categorical structures
by: Marimon, Paolo
Published: (2022)

Remarks on relative categoricity
by: Pillay, Anand
Published: (2026)

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

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

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

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

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

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

A categorical description of simple Beth companions
by: Carai, Luca, et al.
Published: (2026)