Pages that link to "Item:Q3767329"
From MaRDI portal
The following pages link to Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees (Q3767329):
Displayed 32 items.
- Incomparable prime ideals of recursively enumerable degrees (Q688789) (← links)
- The jump operation for structure degrees (Q818923) (← links)
- Pairs of recursive structures (Q923075) (← links)
- Labelling systems and r.e. structures (Q923076) (← links)
- Constructions by transfinitely many workers (Q923078) (← links)
- Strong \(\Delta ^ 0_ 2\) categoricity (Q1078172) (← links)
- Stability of recursive structures in arithmetical degrees (Q1094410) (← links)
- Intrinsically \(\Sigma ^ 0_{\alpha}\) relations (Q1106203) (← links)
- Generic copies of countable structures (Q1123889) (← links)
- Uncountable degree spectra (Q1182483) (← links)
- Sufficiency conditions for theories with recursive models (Q1184717) (← links)
- Stability among r.e. quotient algebras (Q1208085) (← links)
- Turing degrees of certain isomorphic images of computable relations (Q1295383) (← links)
- Coding a family of sets (Q1295408) (← links)
- Hyperarithmetical relations in expansions of recursive structures (Q1315834) (← links)
- Effective choice for relations and reducibilities in classes of constructive and positive models (Q1317601) (← links)
- Primitive Jordan algebras (Q1317606) (← links)
- Finitely generated groups with the M. Hall property (Q1317609) (← links)
- Locally finite simple groups as a product of two inert subgroups (Q1317617) (← links)
- Local characterizations of infinite alternating and Lie type groups (Q1317618) (← links)
- A semiorthogonal sum of monocomposition algebras with unity (Q1317619) (← links)
- Superdecomposable pure injective modules over commutative valuation rings (Q1317634) (← links)
- Inseparability in recursive copies (Q1326768) (← links)
- Ramified systems (Q1344627) (← links)
- Possible degrees in recursive copies. II (Q1368584) (← links)
- Degree spectra and computable dimensions in algebraic structures (Q1612482) (← links)
- Categoricity in hyperarithmetical degrees (Q1821772) (← links)
- Effective choice of constructivizations and recursive consistency of problems on constructive models (Q2366356) (← links)
- Effectively categorical abelian groups (Q2377433) (← links)
- On the $n$-back-and-forth types of Boolean algebras (Q3116576) (← links)
- Computable completely decomposable groups (Q3190417) (← links)
- Jumps of Orderings (Q3484823) (← links)