The following pages link to (Q3679172):
Displayed 18 items.
- Continuity of Gödel's system T definable functionals via effectful forcing (Q265800) (← links)
- Interpretation of constructive multi-typed theory in the theory of arithmetical truth (Q266212) (← links)
- The intrinsic topology of Martin-Löf universes (Q290640) (← links)
- Operational closure and stability (Q385076) (← links)
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Almost new pre-apartness from old (Q424542) (← links)
- From the weak to the strong existence property (Q448335) (← links)
- Compactness notions for an apartness space (Q453202) (← links)
- On construction of equitable social welfare orders on infinite utility streams (Q459161) (← links)
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
- A constructive version of Tarski's geometry (Q490871) (← links)
- Transfinite recursion and computation in the iterative conception of set (Q510712) (← links)
- Exploring the beta quadrant (Q513919) (← links)
- Continuity of operators on continuous and discrete time streams (Q549207) (← links)
- Explicit mathematics: power types and overloading (Q556826) (← links)
- From the knowability paradox to the existence of proofs (Q625705) (← links)
- Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
- The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)