Pages that link to "Item:Q1188500"
From MaRDI portal
The following pages link to Constructivism in mathematics. An introduction. Volume I (Q1188500):
Displaying 50 items.
- Optimization in temporal qualitative constraint networks (Q262133) (← links)
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Category theory, logic and formal linguistics: some connections, old and new (Q280832) (← links)
- A semantic approach to conservativity (Q284219) (← links)
- Semantic completeness of first-order theories in constructive reverse mathematics (Q286708) (← links)
- Basic notions of (constructive) semigroups with apartness (Q309964) (← links)
- Some obstacles facing a semantic foundation for constructive mathematics (Q320173) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- Delimited control operators prove double-negation shift (Q450950) (← 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)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- The de Jongh property for basic arithmetic (Q481876) (← links)
- Truth-maker semantics for intuitionistic logic (Q484121) (← links)
- Algebraic foundations for the semantic treatment of inquisitive content (Q484923) (← links)
- An induction principle over real numbers (Q512134) (← links)
- Constructive belief reports (Q514084) (← links)
- Finite frames fail: how infinity works its way into the semantics of admissibility (Q514509) (← links)
- Explicit mathematics: power types and overloading (Q556826) (← links)
- Ultrasheaves and double negation (Q558435) (← links)
- A simple proof of Parsons' theorem (Q558443) (← links)
- On the contrapositive of countable choice (Q627434) (← links)
- Intermediate logics and the de Jongh property (Q627438) (← links)
- The double negation of the intermediate value theorem (Q636312) (← links)
- Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
- Generalizing realizability and Heyting models for constructive set theory (Q651324) (← links)
- Interpreting quantum logic as a pragmatic structure (Q682630) (← links)
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- Intuitionistic validity in \(T\)-normal Kripke structures (Q685055) (← links)
- A simple proof that super-consistency implies cut elimination (Q691121) (← links)
- Realizability models refuting Ishihara's boundedness principle (Q714714) (← links)
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
- Operational set theory and small large cardinals (Q731889) (← links)
- Constructive modal logics. I (Q750417) (← links)
- Extended bar induction in applicative theories (Q753810) (← links)
- Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Finite sets and infinite sets in weak intuitionistic arithmetic (Q781509) (← links)
- A certified, corecursive implementation of exact real numbers (Q817858) (← links)
- Polynomially bounded recursive realizability (Q817959) (← links)
- Subminimal logics in light of Vakarelov's logic (Q831220) (← links)
- The information in intuitionistic logic (Q833032) (← links)
- Insight in discrete geometry and computational content of a discrete model of the continuum (Q834257) (← links)
- Mathematical method and proof (Q857692) (← links)
- Variable declarations in natural deduction (Q861825) (← links)
- Ideals in constructive Banach algebra theory (Q864422) (← links)
- Pre-apartness structures on spaces of functions (Q864436) (← links)
- First-order logic in the Medvedev lattice (Q897478) (← links)
- A mechanized proof of the basic perturbation lemma (Q928666) (← links)
