The following pages link to (Q5483301):
Displaying 8 items.
- Parametric groups of definable automorphisms of strongly constructive models (Q546226) (← links)
- Undecidability of automorphism groups (Q699745) (← links)
- Definability and automorphisms in abstract logics (Q1762731) (← links)
- (Q4355920) (← links)
- Definable Automorphisms of P(ω)/fin (Q4722065) (← links)
- Naturality and definability II (Q5113843) (← links)
- (Q5144628) (← links)
- (Q5747008) (← links)