Pages that link to "Item:Q1188522"
From MaRDI portal
The following pages link to Constructivism in mathematics. An introduction. Volume II (Q1188522):
Displaying 50 items.
- On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary (Q346664) (← links)
- A proof-theoretic account of classical principles of truth (Q385807) (← links)
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Topological forcing semantics with settling (Q408537) (← links)
- Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem (Q424539) (← links)
- The intermediate value theorem in constructive mathematics without choice (Q424546) (← links)
- From the weak to the strong existence property (Q448335) (← links)
- Some axioms for constructive analysis (Q453178) (← links)
- Compactness notions for an apartness space (Q453202) (← links)
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
- Homomorphisms and chains of Kripke models (Q535159) (← links)
- Omitting types in an intermediate logic (Q539154) (← links)
- Brouwer's \(\epsilon\)-fixed point and Sperner's lemma (Q549181) (← links)
- Explicit mathematics: power types and overloading (Q556826) (← links)
- From the knowability paradox to the existence of proofs (Q625705) (← links)
- Kripke models for classical logic (Q636371) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- The eskolemization of universal quantifiers (Q638487) (← links)
- Metric spaces in synthetic topology (Q651311) (← links)
- Two subcategories of apartness spaces (Q651317) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← 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)
- Type-theoretic interpretation of iterated, strictly positive inductive definitions (Q688845) (← links)
- Polynomial-time Martin-Löf type theory (Q688850) (← links)
- A very weak Nullstellensatz over Heyting fields (Q698628) (← links)
- A proof-theoretic characterization of the basic feasible functionals (Q706620) (← links)
- Continuum, name and paradox (Q707899) (← links)
- An intuitionistic completeness theorem for classical predicate logic (Q708927) (← links)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Mass problems associated with effectively closed sets (Q765664) (← links)
- Gentzen calculi for the existence predicate (Q817698) (← links)
- Extending strongly continuous functions between apartness spaces (Q818925) (← links)
- Brouwer's weak counterexamples and the creative subject: a critical survey (Q830395) (← links)
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196) (← links)
- Generalized functions with pseudobounded support in constructive mathematics (Q864428) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Preservation theorems for bounded formulas (Q866887) (← links)
- Constructing local optima on a compact interval (Q868665) (← links)
- Another paradox in naive set-theory (Q878158) (← links)
- Some principles weaker than Markov's principle (Q892139) (← links)
- Elementary inductive definitions in HA: From strictly positive towards monotone (Q920089) (← links)
- The anti-Specker property, a Heine-Borel property, and uniform continuity (Q926186) (← links)
- The Zariski spectrum as a formal geometry (Q949619) (← links)
- Provably recursive functions of constructive and relatively constructive theories (Q964451) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Towards constructive DL for abstraction and refinement (Q972423) (← links)
- Glueing continuous functions constructively (Q982187) (← links)
