Degrees coded in jumps of orderings
From MaRDI portal
Publication:3770517
Recommendations
Cites work
Cited in
(66)- The theory of projective planes is complete with respect to degree spectra and effective dimensions
- Degree spectra and computable dimensions in algebraic structures
- On the effective universality of mereological theories
- Sequences of n-diagrams
- The \(\Delta_2^0\)-spectrum of a linear order
- Turing degrees and automorphism groups of substructure lattices
- Coding and definability in computable structures
- Every Low Boolean Algebra is Isomorphic to a Recursive One
- Prime models of computably enumerable degree
- Some Questions in Computable Mathematics
- Strength and weakness in computable structure theory
- Degree spectra of structures relative to equivalences
- Index set of structures with two equivalence relations that are autostable relative to strong constructivizations
- HKSS-completeness of modal algebras
- Degrees of categoricity on a cone via \(\eta\)-systems
- A computable functor from graphs to fields
- Effective algebraicity
- Degree spectra of real closed fields
- Bi‐embeddability spectra and bases of spectra
- Degree spectra of prime models
- Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra
- A characterization of the \(0\)-basis homogeneous bounding degrees
- Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism
- Computable Heyting algebras with distinguished atoms and coatoms
- Effective model theory vs. recursive model theory
- Using computability to measure complexity of algebraic structures and classes of structures
- Weak truth table degrees of structures
- Ivan Soskov: a life in computability
- Rice sequences of relations
- Generic copies of countable structures
- The tree of tuples of a structure
- Computable isomorphisms, degree spectra of relations, and Scott families
- Enumeration reducibility and computable structure theory
- Degree spectra of relations on a cone
- Minimality and completions of PA
- TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS
- Complexity profiles and generic Muchnik reducibility
- Computable procedures for fields
- The degree spectra of homogeneous models
- Degrees of orderings not isomorphic to recursive linear orderings
- Spectra of theories and structures
- Freely generated projective planes with finite computable dimension
- Boolean algebras, Stone spaces, and the iterated Turing jump
- Jump operator and Yates Degrees
- Spectra of Algebraic Fields and Subfields
- The Lattice of Computably Enumerable Vector Spaces
- Computability of distributive lattices
- Computability of Fraïssé limits
- Uncountable degree spectra
- DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS
- Jump degrees of torsion-free abelian groups
- The Slaman-Wehner theorem in higher recursion theory
- Least enumerations of unary partial structures
- CODING IN GRAPHS AND LINEAR ORDERINGS
- On the notion of jump structure
- Degree spectra of structures
- Measuring complexities of classes of structures
- Turing degrees of nonabelian groups
- On the complexity of the successivity relation in computable linear orderings
- Revisiting uniform computable categoricity: for the sixtieth birthday of prof. Rod Downey
- Generalization of Shapiro's theorem to higher arities and noninjective notations
- Categoricity spectra for polymodal algebras
- Boolean algebras with distinguished endomorphisms and generating trees
- The jump operation for structure degrees
- Jumps of Orderings
- Decomposability and computability
This page was built for publication: Degrees coded in jumps of orderings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3770517)
