The following pages link to (Q5343325):
Displaying 50 items.
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Some axioms for constructive analysis (Q453178) (← links)
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
- Some observations on intuitionistically elementary properties of linear orderings (Q582291) (← links)
- The double negation of the intermediate value theorem (Q636312) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- Metric spaces in synthetic topology (Q651311) (← links)
- Another proof of the intuitionistic Ramsey theorem (Q685402) (← links)
- Equivalents of the (weak) fan theorem (Q703836) (← links)
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets (Q722147) (← links)
- A new model for intuitionistic analysis (Q750439) (← links)
- Extended bar induction in applicative theories (Q753810) (← links)
- Realizability and intuitionistic logic (Q792319) (← links)
- Sheaf models for choice sequences (Q798316) (← links)
- Fuzzy constructive logic (Q843607) (← links)
- First-order logic in the Medvedev lattice (Q897478) (← links)
- Sheaf toposes for realizability (Q938241) (← links)
- On some non-classical extensions of second-order intuitionistic propositional calculus (Q1061123) (← links)
- A transfer theorem in constructive \(p\)-adic algebra (Q1194243) (← links)
- Some aspects of effectively constructive mathematics that are relevant to the foundations of neoclassical mathematical economics and the theory of games (Q1196208) (← links)
- The decision problem for some finite extensions of the intuitionistic theory of abelian groups (Q1217798) (← links)
- Brouwer's constructivism (Q1220903) (← links)
- A very strong intuitionistic theory (Q1234293) (← links)
- On certain theorems of analysis in the formal system Kleene-Vesley (Q1242162) (← links)
- PASCAL in LCF: Semantics and examples of proof (Q1242670) (← links)
- Inductive definability in formal language theory (Q1245578) (← links)
- Mathematical interpretation of the fan theorem (Q1245936) (← links)
- From what does the law of the excluded middle follow? (Q1256464) (← links)
- The theory of empirical sequences (Q1257482) (← links)
- Markov's constructive analysis; a participant's view (Q1292407) (← links)
- A common axiom set for classical and intuitionistic plane geometry (Q1295418) (← links)
- Some purely topological models for intuitionistic analysis (Q1302294) (← links)
- PCF extended with real numbers (Q1349926) (← links)
- Retracing Cantor's first steps in Brouwer's company (Q1688956) (← links)
- Intuitionism and effective descriptive set theory (Q1688967) (← links)
- Brouwer and Euclid (Q1688971) (← links)
- Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics (Q1740612) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- The sequentially realizable functionals (Q1849853) (← links)
- Relative and modified relative realizability (Q1849865) (← links)
- A classical view of the intuitionistic continuum (Q1923572) (← links)
- Realizing Brouwer's sequences (Q1923574) (← links)
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels (Q1923579) (← links)
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- Solovay's relative consistency proof for FIM and BI (Q2075283) (← links)
- Formally computing with the non-computable (Q2117773) (← links)
- Minimum classical extensions of constructive theories (Q2117797) (← links)
- The effects of effects on constructivism (Q2133168) (← links)
