Degree spectra and computable dimensions in algebraic structures
From MaRDI portal
Publication:1612482
Recommendations
Cites work
- scientific article; zbMATH DE number 1002913 (Why is no real title available?)
- scientific article; zbMATH DE number 3863176 (Why is no real title available?)
- scientific article; zbMATH DE number 3732033 (Why is no real title available?)
- scientific article; zbMATH DE number 3781440 (Why is no real title available?)
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 194103 (Why is no real title available?)
- scientific article; zbMATH DE number 706263 (Why is no real title available?)
- scientific article; zbMATH DE number 1531924 (Why is no real title available?)
- scientific article; zbMATH DE number 934778 (Why is no real title available?)
- scientific article; zbMATH DE number 1405578 (Why is no real title available?)
- scientific article; zbMATH DE number 233957 (Why is no real title available?)
- A Borel reductibility theory for classes of countable structures
- A computably categorical structure whose expansion by a constant has infinite computable dimension
- A solution of the Goncharov-Ash problem and the spectrum problem in the theory of computable models.
- Autostability of models
- Borel equivalence relations and classifications of countable models
- Computable isomorphisms, degree spectra of relations, and Scott families
- Computably categorical structures and expansions by constants
- Degree spectra of relations on computable structures in the presence of Δ20isomorphisms
- Degree spectra of relations on structures of finite computable dimension
- Degrees coded in jumps of orderings
- Effective content of field theory
- Enumerations, countable structures and Turing degrees
- Handbook of recursive mathematics. Vol. 1: Recursive model theory
- New Directions in Descriptive Set Theory
- Nilpotent groups of finite algorithmic dimension
- On a correspondence between rings and groups
- Problem of the number of non-self-equivalent constructivizations
- Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
- Recursive categoricity and persistence
- Recursively Categorical Linear Orderings
- Relative to any nonrecursive set
- Stability of nilpotent groups of class 2 and prime exponent
- Strong and weak constructivization and computable families
- The completeness of the isomorphism relation for countable Boolean algebras
- The possible Turing degree of the nonzero member in a two element degree spectrum
- The quantity of nonautoequivalent constructivizations
Cited in
(only showing first 100 items - show all)- Categoricity and complexity of relations over algebraic structures
- New degree spectra of Polish spaces
- A structure of punctual dimension two
- Categoricity of computable infinitary theories
- The theory of projective planes is complete with respect to degree spectra and effective dimensions
- Uniform procedures in uncountable structures
- Isomorphisms, definable relations, and Scott families for integral domains and commutative semigroups
- On the effective universality of mereological theories
- scientific article; zbMATH DE number 5836294 (Why is no real title available?)
- INTERPRETING A FIELD IN ITS HEISENBERG GROUP
- The computable embedding problem
- Some Questions in Computable Mathematics
- Degrees of and lowness for isometric isomorphism
- COPYING ONE OF A PAIR OF STRUCTURES
- PUNCTUAL CATEGORICITY AND UNIVERSALITY
- Equivalence Relations on Classes of Computable Structures
- Computability-theoretic categoricity and Scott families
- Limitwise monotonic spectra and their generalizations
- Lowness for isomorphism, countable ideals, and computable traceability
- Complexity of the problem of being equivalent to Horn formulas
- Strength and weakness in computable structure theory
- Degree spectra of structures relative to equivalences
- The index set of the groups autostable relative to strong constructivizations
- HKSS-completeness of modal algebras
- Algebraic aspects of the computably enumerable degrees.
- A computable functor from graphs to fields
- Some new computable structures of high rank
- On Constructive Nilpotent Groups
- Degrees of categoricity and spectral dimension
- Degree spectra of real closed fields
- Analytic computable structure theory and \(L^p\) spaces
- Categoricity spectra of computable structures
- Degrees of autostability for linear orders and linearly ordered abelian groups
- Effective categoricity for distributive lattices and Heyting algebras
- Degrees of non-computability of homeomorphism types of Polish spaces
- Computable Heyting algebras with distinguished atoms and coatoms
- On degree spectra of topological spaces
- Using computability to measure complexity of algebraic structures and classes of structures
- Computable abelian groups
- Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures
- Weak truth table degrees of structures
- Turing computable embeddings, computable infinitary equivalence, and linear orders
- Constructing decidable graphs from decidable structures
- Categoricity properties for computable algebraic fields
- Π11 relations and paths through
- Theory spectra and classes of theories
- Non-density in punctual computability
- _1¹-completeness of the computable categoricity problem for projective planes
- Graphs are not universal for online computability
- On two types of concept lattices in the theory of numberings
- Degree Spectra of Relations on Computable Structures
- Computable structures and operations on the space of continuous functions
- TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS
- Categorical linearly ordered structures
- Preserving categoricity and complexity of relations
- Computable procedures for fields
- Degree spectra of relations on structures of finite computable dimension
- THE COMPLEMENTS OF LOWER CONES OF DEGREES AND THE DEGREE SPECTRA OF STRUCTURES
- \(d\)-computable categoricity for algebraic fields
- Model completeness and relative decidability
- Spectra of theories and structures
- Freely generated projective planes with finite computable dimension
- Index sets for some classes of structures
- Computable functors and effective interpretability
- A \(\Delta^{0}_{2}\)-poset with no positive presentation
- Computable embeddings for pairs of linear orders
- Computability of distributive lattices
- Computability of Fraïssé limits
- The complexity of central series in nilpotent computable groups
- There is no classification of the decidably presentable structures
- Prime models of finite computable dimension
- BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
- On functors enumerating structures
- A note on computable embeddings for ordinals and their reverses
- CODING IN GRAPHS AND LINEAR ORDERINGS
- Torsion-free abelian groups with optimal Scott families
- Degree spectra of structures
- Measuring complexities of classes of structures
- Finitely generated groups are universal among finitely generated structures
- Turing degrees of nonabelian groups
- On the complexity of the successivity relation in computable linear orderings
- \(\Sigma\)-presentations of the ordering on the reals
- A computably categorical structure whose expansion by a constant has infinite computable dimension
- On \(\Delta_2^0\)-categoricity of equivalence relations
- Classes of Ulm type and coding rank-homogeneous trees in other structures
- Degrees of isomorphism types and countably categorical groups
- Simple structures with complex symmetry
- scientific article; zbMATH DE number 5066582 (Why is no real title available?)
- Classifications of computable structures
- Limitwise monotonic sequences and degree spectra of structures
- Computable categoricity of trees of finite height
- The isomorphism problem for computable Abelian p-groups of bounded length
- Point Degree Spectra of Represented Spaces
- Degrees of categoricity of computable structures
- Categoricity spectra for polymodal algebras
- Computability theory. Abstracts from the workshop held January 7--13, 2018
- Spectral universality of linear orders with one binary relation
- Computable isomorphisms of Boolean algebras with operators
- A Friedberg enumeration of equivalence structures
- A directed graph of finite \(\Delta^0_{\alpha}\)-dimension
This page was built for publication: Degree spectra and computable dimensions in algebraic structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1612482)
