The following pages link to (Q4513979):
Displaying 11 items.
- Relating De Morgan triples with Atanassov's intuitionistic De Morgan triples via automorphisms (Q553981) (← links)
- Computably enumerable sets and related issues (Q695800) (← links)
- Extendability of automorphisms of generic substructures (Q891096) (← links)
- Extensions realising a faithful abstract kernel and their automorphisms (Q1340230) (← links)
- Definability and automorphisms in abstract logics (Q1762731) (← links)
- Orbits of computably enumerable sets: Low sets can avoid an upper cone (Q1849863) (← links)
- Automorphisms, definable relations, and covers of elements of the computability potential scale for all finite algebras (Q3546129) (← links)
- (Q3786592) (← links)
- Definable Automorphisms of P(ω)/fin (Q4722065) (← links)
- Definability, Automorphisms, and Dynamic Properties of Computably Enumerable Sets (Q4897042) (← links)
- Extension theorems, orbits, and automorphisms of the computably enumerable sets (Q5437614) (← links)