Pages that link to "Item:Q1117217"
From MaRDI portal
The following pages link to Permutations and implicit definability (Q1117217):
Displaying 10 items.
- Turing reducibility as algebraic embeddability (Q1972201) (← links)
- Turing degrees and automorphism groups of substructure lattices (Q2213916) (← links)
- Simple permutations: Decidability and unavoidable substructures (Q2474234) (← links)
- On computable automorphisms of the rational numbers (Q2758070) (← links)
- Permutative renamings in the extended Fraenkel-Mostowski set theory (Q2822991) (← links)
- The Lattice of Computably Enumerable Vector Spaces (Q2970969) (← links)
- Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra (Q3188263) (← links)
- (Q3794165) (← links)
- Families of permutations and ideals of Turing degrees (Q6148009) (← links)
- Turing spectra of the automorphism groups of the order on the rationals (Q6641636) (← links)