Search results
From MaRDI portal
- assignment 2019-03-27 Paper A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic 2017-09-27 Paper Variants of Gödel's ontological proof in a natural...10 bytes (16 words) - 04:16, 13 December 2023
- de/entity/Q2958512 2017-02-02 Paper Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1 2016-07-26 Paper On natural deduction in classical...10 bytes (17 words) - 15:14, 6 October 2023
- 1986-01-01 Paper A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic 1984-01-01 Paper Deductive capabilities of...10 bytes (18 words) - 11:46, 12 December 2023
- Classical Cut Elimination 2014-01-17 Paper Algorithmic Equality in Heyting Arithmetic Modulo 2008-06-03 Paper...10 bytes (16 words) - 06:46, 7 October 2023
- interpretation of constructive set theory 2003-04-27 Paper Fragments of Heyting arithmetic 2001-07-24 Paper Functional interpretation of Aczel's constructive...10 bytes (17 words) - 10:35, 24 September 2023
- de/entity/Q4271470 1993-12-10 Paper On the structure of kripke models of heyting arithmetic 1993-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3775514 1986-01-01...10 bytes (17 words) - 07:48, 13 December 2023
- functions 2021-06-14 Paper A parametrised functional interpretation of Heyting arithmetic 2021-03-25 Paper On flexible sequences 2019-11-19 Paper Neutrices...10 bytes (16 words) - 18:44, 24 September 2023
- Realizability Interpretation for Heyting Arithmetic with EM 1 2009-07-07 Paper Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable...10 bytes (16 words) - 06:01, 7 October 2023
- semantics for generalisations of Heyting algebras 2021-04-27 Paper A parametrised functional interpretation of Heyting arithmetic 2021-03-25 Paper https://portal...10 bytes (17 words) - 12:41, 28 January 2024
- mardi4nfdi.de/entity/Q5702662 2005-11-02 Paper Uniform Heyting arithmetic 2005-04-21 Paper An arithmetic for non-size-increasing polynomial-time computation...10 bytes (16 words) - 00:36, 25 September 2023
- Interpretations of Heyting's arithmetic—An analysis by means of a language with set symbols 1980-01-01 Paper Interpretationen der Heyting-Arithmetik endlicher...10 bytes (16 words) - 06:51, 7 October 2023
- operators 2011-09-12 Paper Intuitionistic fixed point theories over Heyting arithmetic 2011-05-31 Paper Nested PLS 2011-05-11 Paper Exact bounds on epsilon...10 bytes (17 words) - 13:54, 6 October 2023
- https://portal.mardi4nfdi.de/entity/Q4247308 1999-06-16 Paper Minimal models of Heyting arithmetic 1998-11-02 Paper A logical presentation of the continuous functionals...10 bytes (16 words) - 22:07, 24 September 2023
- for toposes with enough points 1998-11-26 Paper Minimal models of Heyting arithmetic 1998-11-02 Paper Proof of a conjecture of A. Haefliger 1998-10-05...10 bytes (17 words) - 12:10, 8 December 2023
- 2015-11-27 Paper The arithmetics of a theory 2015-05-22 Paper SELF-REFERENCE IN ARITHMETIC I 2015-03-02 Paper SELF-REFERENCE IN ARITHMETIC II 2015-03-02 Paper...10 bytes (17 words) - 20:53, 24 September 2023
- Bar Theorem 2017-09-27 Paper Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections 2015-06-05...10 bytes (19 words) - 10:36, 13 December 2023
- 1978-01-01 Paper Transfinite expansions of arithmetic formulas 1978-01-01 Paper E theorems 1977-01-01 Paper Heyting predicate calculus with epsilon symbol...10 bytes (18 words) - 17:17, 9 December 2023
- Date of Publication Type Modular Analysis of Executables Using On-Demand Heyting Completion 2020-07-07 Paper Incremental closure for systems of two variables...10 bytes (16 words) - 06:51, 7 October 2023
- Boolean-valued models of set theory 1986-01-01 Paper Quasitopoi, logic and Heyting-valued models 1986-01-01 Paper Distributive partially ordered sets 1984-01-01...10 bytes (18 words) - 07:17, 7 October 2023
- boolean valued lattices 1990-01-01 Paper Heyting valued set theory and fibre bundles 1988-01-01 Paper Heyting valued considerations on some fundamental...10 bytes (16 words) - 23:19, 8 December 2023
