Search results
From MaRDI portal
- primitive recursive realizability 2024-03-19 Paper A Generalized Realizability and Intuitionistic Logic 2023-04-05 Paper Generalized Realizability and Basic Logic...10 bytes (18 words) - 22:13, 10 December 2023
- systems as models for dynamic clinical trials 2016-04-15 Paper On hyperarithmetical realizability 2016-04-14 Paper Spectral sequence and finitely presented dimension...10 bytes (16 words) - 01:35, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q3511020 2008-07-04 Paper S4LP and Local Realizability 2008-06-05 Paper A quantified logic of evidence 2008-03-28 Paper Realizations...10 bytes (18 words) - 09:58, 25 September 2023
- systems as models for dynamic clinical trials 2016-04-15 Paper On hyperarithmetical realizability 2016-04-14 Paper Spectral sequence and finitely presented dimension...10 bytes (15 words) - 00:59, 25 September 2023
- arithmetic; Gödel number; hyperarithmetical function; hyperarithmetical predicate; hyperarithmetical realizability; hyperarithmetical set Mathematics Subject...15 bytes (67 words) - 02:47, 30 January 2024
- https://arxiv.org/abs/1301.0735 zbMATH Keywords realizability; nonstandard arithmetic; hyperarithmetical functions Mathematics Subject Classification ID...15 bytes (66 words) - 09:28, 2 February 2024
