The following pages link to \(\Delta_ 1\)-definability (Q1377911):
Displaying 5 items.
- λ-definable functionals andβη conversion (Q3322071) (← links)
- ∑ n Definable Sets without ∑ n Induction (Q4032456) (← links)
- DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS (Q4628681) (← links)
- Δ<sub>1</sub>-Definability of the non-stationary ideal at successor cardinals (Q5177549) (← links)
- Delta-decision procedures for exists-forall problems over the reals (Q6039404) (← links)