The following pages link to (Q4071217):
Displayed 7 items.
- Fuzzy constructive logic (Q843607) (← links)
- On the quantifier of limiting realizability (Q1147135) (← links)
- A majorizing semantics for hyperarithmetic sentences (Q1147137) (← links)
- Canonical recursive functions and operations (Q1168314) (← links)
- Transfinite expansions of arithmetic formulas (Q1254249) (← links)
- On a finitary version of mathematical analysis (Q5957917) (← links)
- Dual realizability in symmetric logic (Q5957923) (← links)