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 the constructive Dedekind reals (Q1000868) (← links)
- Reference and perspective in intuitionistic logics (Q1006455) (← links)
- On the strength of dependent products in the type theory of Martin-Löf (Q1024547) (← links)
- Set based logic programming (Q1029592) (← links)
- Between constructive mathematics and PROLOG (Q1173742) (← links)
- Recursion over realizability structures (Q1173956) (← links)
- Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi (Q1208732) (← links)
- Negationless intuitionism (Q1267080) (← links)
- On logics with coimplication (Q1272827) (← links)
- Representing scope in intuitionistic deductions (Q1274448) (← links)
- Generalized real numbers in constructive mathematics (Q1279733) (← links)
- Interpretations of intuitionist logic in non-normal modal logics (Q1283321) (← links)
- Markov's constructive analysis; a participant's view (Q1292407) (← links)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
- Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
- Decidable Kripke models of intuitionistic theories (Q1295382) (← links)
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- Some purely topological models for intuitionistic analysis (Q1302294) (← links)
- A Boolean model of ultrafilters (Q1304549) (← links)
- Markov's principle, Church's thesis and Lindelöf's theorem (Q1315098) (← links)
- Representations of empirical set theories (Q1330094) (← links)
- On theorems of Gödel and Kreisel: Completeness and Markov's principle (Q1333319) (← links)
- The strength of some Martin-Löf type theories (Q1344548) (← links)
- Elementary realizability (Q1362589) (← links)
- Constructive sets in computable sets (Q1372877) (← links)
- Provability in principle and controversial constructivistic principles (Q1372941) (← links)
- Monad as modality (Q1392142) (← links)
- Experiments in linear natural deduction (Q1392279) (← links)
- Locating the range of an operator with an adjoint (Q1397696) (← links)
- Synonymous logics (Q1404389) (← links)
- Ishihara's proof technique in constructive analysis (Q1433041) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- Five observations concerning the intended meaning of the intuitionistic logical constants (Q1582231) (← links)
- Refining the taming of the reverse mathematics zoo (Q1633897) (← links)
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- Meaning explanations at higher dimension (Q1688954) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- Subminimal negation (Q1699743) (← links)
- The binary expansion and the intermediate value theorem in constructive reverse mathematics (Q1712938) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem (Q1734272) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495) (← links)
- Uniform Heyting arithmetic (Q1772775) (← links)
- On Brouwer's continuity principle (Q1788331) (← links)
- A semantical proof of De Jongh's theorem (Q1812961) (← links)
- Can constructive mathematics be applied in physics? (Q1818378) (← links)
- Spreads and choice in constructive mathematics. (Q1866471) (← links)
- Intuitionistic completeness and classical logic (Q1882403) (← links)
- Natural deduction for intuitionistic linear logic (Q1891252) (← links)
