Pages that link to "Item:Q3770517"
From MaRDI portal
The following pages link to Degrees coded in jumps of orderings (Q3770517):
Displaying 50 items.
- Measuring complexities of classes of structures (Q499081) (← links)
- Categoricity spectra for polymodal algebras (Q514501) (← links)
- Degrees of orderings not isomorphic to recursive linear orderings (Q810503) (← links)
- The jump operation for structure degrees (Q818923) (← links)
- Generic copies of countable structures (Q1123889) (← links)
- Uncountable degree spectra (Q1182483) (← links)
- Computable isomorphisms, degree spectra of relations, and Scott families (Q1295389) (← links)
- Degree spectra and computable dimensions in algebraic structures (Q1612482) (← links)
- Degree spectra of real closed fields (Q1734266) (← links)
- Computability of distributive lattices (Q1745078) (← links)
- Coding and definability in computable structures (Q1782235) (← links)
- Effective algebraicity (Q1935364) (← links)
- Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism (Q1936277) (← links)
- Degree spectra of structures relative to equivalences (Q2011365) (← links)
- Degree spectra of structures (Q2036471) (← links)
- Decomposability and computability (Q2093255) (← links)
- Computable procedures for fields (Q2117796) (← links)
- Turing degrees and automorphism groups of substructure lattices (Q2213916) (← links)
- HKSS-completeness of modal algebras (Q2234421) (← links)
- Using computability to measure complexity of algebraic structures and classes of structures (Q2263109) (← links)
- Weak truth table degrees of structures (Q2354621) (← links)
- Index set of structures with two equivalence relations that are autostable relative to strong constructivizations (Q2364335) (← links)
- Freely generated projective planes with finite computable dimension (Q2401538) (← links)
- Generalization of Shapiro's theorem to higher arities and noninjective notations (Q2700823) (← links)
- The \(\Delta_2^0\)-spectrum of a linear order (Q2747698) (← links)
- Minimality and completions of PA (Q2758069) (← links)
- Rice sequences of relations (Q2941599) (← links)
- Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey (Q2970964) (← links)
- Enumeration Reducibility and Computable Structure Theory (Q2970965) (← links)
- Strength and Weakness in Computable Structure Theory (Q2970966) (← links)
- The Lattice of Computably Enumerable Vector Spaces (Q2970969) (← links)
- Some Questions in Computable Mathematics (Q2973717) (← links)
- The Slaman-Wehner theorem in higher recursion theory (Q3003597) (← links)
- Computability of Fraïssé limits (Q3083128) (← links)
- ON THE COMPLEXITY OF THE SUCCESSIVITY RELATION IN COMPUTABLE LINEAR ORDERINGS (Q3094355) (← links)
- Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra (Q3188263) (← links)
- Jumps of Orderings (Q3484823) (← links)
- Spectra of Algebraic Fields and Subfields (Q3576055) (← links)
- The degree spectra of homogeneous models (Q3617376) (← links)
- Every Low Boolean Algebra is Isomorphic to a Recursive One (Q4318310) (← links)
- Boolean algebras, Stone spaces, and the iterated Turing jump (Q4323032) (← links)
- A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS (Q4638989) (← links)
- Degree Spectra of Relations on a Cone (Q4645836) (← links)
- Sequences of <i>n</i>-diagrams (Q4779662) (← links)
- Jump degrees of torsion-free abelian groups (Q4899162) (← links)
- A characterization of the <i>0</i>-basis homogeneous bounding degrees (Q4931102) (← links)
- (Q4993800) (← links)
- (Q4993818) (← links)
- DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS (Q5052017) (← links)
- THE TREE OF TUPLES OF A STRUCTURE (Q5070461) (← links)