Search results
From MaRDI portal
- Paper A Note on Generalized Algebraic Theories and Categories with Families 2020-12-15 Paper Domain Theory in Constructive and Predicative Univalent Foundations...10 bytes (14 words) - 16:35, 7 December 2023
- dependent type theory and dependent right adjoints 2020-03-11 Paper Modalities in homotopy type theory 2020-01-22 Paper Guarded cubical type theory 2019-08-21...10 bytes (14 words) - 21:07, 24 September 2023
- Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis 2020-05-30 Paper Pincherle's theorem in reverse mathematics and computability...10 bytes (14 words) - 21:33, 12 December 2023
- method in quantum recursion theory 2010-05-26 Paper On the Brightness of the Thomson Lamp: A Prolegomenon to Quantum Recursion Theory 2009-10-22 Paper On...10 bytes (14 words) - 00:36, 12 December 2023
- formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory 1988-01-01...10 bytes (16 words) - 15:50, 27 February 2024
- de/entity/Q4227563 1999-07-06 Paper Against intuitionism: Constructive mathematics is part of classical mathematics 1983-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4093416...10 bytes (17 words) - 09:36, 13 December 2023
- Paper Theory and Applications of Models of Computation 2007-04-30 Paper Theory and Applications of Models of Computation 2007-04-30 Paper Theory and Applications...10 bytes (15 words) - 11:36, 28 January 2024
- procedures: Semantics and correctness. II 1981-01-01 Paper Recursion-closed algebraic theories 1981-01-01 Paper On the existence of optimal fixpoints 1980-01-01...10 bytes (14 words) - 08:01, 12 December 2023
- queries in recursion theory 1999-11-02 Paper https://portal.mardi4nfdi.de/entity/Q4259996 1999-09-08 Paper Reverse Mathematics and Recursive Graph Theory 1999-08-19...10 bytes (16 words) - 15:17, 9 December 2023
- Between the lines 2001-11-29 Paper Does Mathematics Need New Axioms? 2001-11-26 Paper Does reductive proof theory have a viable rationale? 2001-10-23 Paper...10 bytes (15 words) - 19:53, 24 September 2023
- talk about mathematics 2024-10-24 Paper Mathematics and language 2024-09-06 Paper Verified reductions for optimization 2024-04-05 Paper Mathematics and the...10 bytes (15 words) - 15:04, 10 December 2023
- 1998-04-15 Paper The simply typed theory of \(\beta\)-conversion has no maximum extension 1998-04-02 Paper A constructive valuation semantics for classical...10 bytes (13 words) - 05:01, 7 October 2023
- quantificational logic of intuitionistic set theory 1986-01-01 Paper Necessary uses of abstract set theory in finite mathematics 1986-01-01 Paper Intuitionistically...10 bytes (17 words) - 23:01, 8 December 2023
- 2014-12-15 Paper RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES 2014-12-05 Paper Forcing for hat inductive definitions...10 bytes (13 words) - 02:36, 25 September 2023
- transcendental theory with a nonconstructivizable prime model 1980-01-01 Paper Strong constructivizability of homogeneous models 1979-01-01 Paper Constructive models...10 bytes (17 words) - 13:05, 10 December 2023
- 2017-09-29 Paper Theory spectra and classes of theories 2017-06-14 Paper Kenneth Kunen, The Foundations of Mathematics, Studies in Logic, Mathematical Logic and...10 bytes (15 words) - 00:55, 25 September 2023
- 2009-06-08 Paper The challenge of computer mathematics 2009-01-20 Paper Towards the range property for the lambda theory \(\mathcal H\) 2008-06-24 Paper Processes...10 bytes (15 words) - 11:52, 12 December 2023
- Consistency Theorem 1981-01-01 Paper Ergodic Undefinability in Set Theory and Recursion Theory 1981-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3666825...10 bytes (13 words) - 19:30, 8 December 2023
- field equation, recursion operators, Noether and master symmetries in conformable Poisson manifolds 2022-03-18 Paper Theory of Constructive Semigroups with...10 bytes (15 words) - 21:55, 9 December 2023
- generalized reducibilities 2010-06-17 Paper Learning Theory and Kernel Machines 2010-03-23 Paper Constructive equivalence relations on computable probability...10 bytes (14 words) - 02:36, 12 December 2023
