Pages that link to "Item:Q3710516"
From MaRDI portal
The following pages link to Decidable subspaces and recursively enumerable subspaces (Q3710516):
Displaying 17 items.
- Sound, totally sound, and unsound recursive equivalence types (Q581397) (← links)
- Recursive properties of relations on models (Q687281) (← links)
- Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures (Q1083446) (← links)
- Classification of degree classes associated with r.e. subspaces (Q1092898) (← links)
- Decidability, partial decidability and sharpness relation for L-subsets (Q1102954) (← links)
- On speedable and levelable vector spaces (Q1326776) (← links)
- Simple permutations: Decidability and unavoidable substructures (Q2474234) (← links)
- The Lattice of Computably Enumerable Vector Spaces (Q2970969) (← links)
- Orbits of Creative Subspaces (Q3028998) (← links)
- More undecidable lattices of Steinitz exchange systems (Q3149998) (← links)
- (Q3362714) (← links)
- Automorphisms of supermaximal subspaces (Q3689174) (← links)
- A decidable subclass of the minimal Gödel class with identity (Q3695254) (← links)
- The universal complementation property (Q3718696) (← links)
- Splitting properties of r.e. sets and degrees (Q3728889) (← links)
- The decidable properties of subrecursive functions (Q4598249) (← links)
- On reduction of the decision problem of recursively enumerable sets to the separability problem (Q5582335) (← links)
