The following pages link to (Q3679172):
Displayed 50 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)
- The provably terminating operations of the subsystem PETJ of explicit mathematics (Q639690) (← links)
- Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves (Q673628) (← links)
- Sets, complements and boundaries (Q675783) (← links)
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
- On specifications, subset types and interpretation of proposition in type theory (Q688736) (← links)
- Type-theoretic interpretation of iterated, strictly positive inductive definitions (Q688845) (← links)
- Equivalents of the (weak) fan theorem (Q703836) (← links)
- A proof-theoretic characterization of the basic feasible functionals (Q706620) (← links)
- Monadic bounded algebras (Q708923) (← links)
- Realizability models refuting Ishihara's boundedness principle (Q714714) (← links)
- Operational set theory and small large cardinals (Q731889) (← links)
- Preference, indifference, and Markov's principle (Q751944) (← links)
- Extended bar induction in applicative theories (Q753810) (← links)
- Extraction of redundancy-free programs from constructive natural deduction proofs (Q808284) (← links)
- Gentzen calculi for the existence predicate (Q817698) (← links)
- Mathematics based on incremental learning -- excluded middle and inductive inference (Q817838) (← links)
- Insight in discrete geometry and computational content of a discrete model of the continuum (Q834257) (← links)
- Partial Horn logic and Cartesian categories (Q866572) (← links)
- Computability of analog networks (Q870263) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- Rationality, computability, and complexity (Q920814) (← links)
- Fixed point theory in weak second-order arithmetic (Q922541) (← links)
- Primitive recursive selection functions for existential assertions over abstract algebras (Q941429) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Patterns of resemblance of order 2 (Q1011757) (← links)
- Operational domain theory and topology of sequential programming languages (Q1013087) (← links)
- Full operational set theory with unbounded existential quantification and power set (Q1024551) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- On the syntax of Martin-Löf's type theories (Q1099173) (← links)
- Between constructive mathematics and PROLOG (Q1173742) (← links)
- On the status of proofs by contradiction in the seventeenth century (Q1182171) (← links)
- Finite type structures within combinatory algebras (Q1182485) (← links)