Intrinsic bounds on complexity and definability at limit levels
From MaRDI portal
(Redirected from Publication:3399191)
Recommendations
- Preserving categoricity and complexity of relations
- Isomorphisms, definable relations, and Scott families for integral domains and commutative semigroups
- Enumerations in computable structure theory
- Ash's theorem on \(\Delta_{\alpha}^{0}\)-categorical structures and a condition for infinite \(\Delta_{\alpha}^{0}\)-dimension
- A directed graph of finite \(\Delta^0_{\alpha}\)-dimension
- On a question of Kalimullin
- The complexity of computable categoricity
- Isomorphisms and definable relations on rings and lattices
- Computability-theoretic categoricity and Scott families
- scientific article; zbMATH DE number 1873435
Cites work
- A construction for recursive linear orderings
- A generalization of Tennenbaum's theorem on effectively finite recursive linear orderings
- Computable structures and the hyperarithmetical hierarchy
- Enumerations in computable structure theory
- Generic copies of countable structures
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- Intrinsically Hyperarithmetical Sets
Cited in
(25)- Effective categoricity of abelian p-groups
- Computability-theoretic categoricity and Scott families
- Limit complexities revisited
- Categoricity spectra of computable structures
- Categorical linearly ordered structures
- Degrees of categoricity for superatomic Boolean algebras
- A computably stable structure with no Scott family of finitary formulas
- Degrees of autostability relative to strong constructivizations
- Enumerations in computable structure theory
- A directed graph of finite \(\Delta^0_{\alpha}\)-dimension
- A note on effective categoricity for linear orderings
- Isomorphisms, definable relations, and Scott families for integral domains and commutative semigroups
- Isomorphisms and definable relations on rings and lattices
- Notes on the Jump of a Structure
- Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism
- scientific article; zbMATH DE number 2047487 (Why is no real title available?)
- On a question of Kalimullin
- The complexity of computable categoricity
- Computability and Definability
- Degrees of bi-embeddable categoricity
- 2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms
- Logical Approaches to Computational Barriers
- Ash's theorem on \(\Delta_{\alpha}^{0}\)-categorical structures and a condition for infinite \(\Delta_{\alpha}^{0}\)-dimension
- Categoricity and complexity of relations over algebraic structures
- Preserving categoricity and complexity of relations
This page was built for publication: Intrinsic bounds on complexity and definability at limit levels
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3399191)
