Search results
From MaRDI portal
- Publication Date of Publication Type Primitive recursive decidability for large rings of algebraic integers inside the compositum...10 bytes (13 words) - 20:29, 22 September 2023
- topology: expressivity and definability 2009-06-10 Paper Non-primitive recursive decidability of products of modal logics with expanding domains 2006-09-14...10 bytes (13 words) - 13:46, 10 December 2023
- semantics without functors and operands 2009-03-24 Paper Non-primitive recursive decidability of products of modal logics with expanding domains 2006-09-14...10 bytes (15 words) - 15:32, 10 December 2023
- 2006-11-01 Paper Willem Blok and modal logic 2006-10-27 Paper Non-primitive recursive decidability of products of modal logics with expanding domains 2006-09-14...10 bytes (15 words) - 18:24, 9 December 2023
- 2006-11-01 Paper Willem Blok and modal logic 2006-10-27 Paper Non-primitive recursive decidability of products of modal logics with expanding domains 2006-09-14...10 bytes (14 words) - 22:16, 9 December 2023
- Absolute Galois Group of a Semi-Local Field 2021-10-26 Paper PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC...10 bytes (15 words) - 17:41, 24 September 2023
- Intuitionistically provable recursive well-orderings 1986-01-01 Paper The lack of definable witnesses and provably recursive functions in intuitionistic...10 bytes (17 words) - 23:01, 8 December 2023
- Paper A note on the degree structure of primitive recursive m-reducibility 2023-11-26 Paper Primitive recursive reverse mathematics 2023-10-12 Paper On...10 bytes (14 words) - 17:02, 11 December 2023
- are compressed in surface groups 2015-09-11 Paper Group-theoretic orbit decidability. 2014-11-18 Paper Twisted conjugacy in braid groups. 2014-10-24 Paper...10 bytes (15 words) - 00:46, 11 December 2023
- 2022-03-31 Paper Integer weighted automata on infinite words 2022-03-25 Paper A recursive function coding number theoretic functions 2022-03-17 Paper On the Self...10 bytes (15 words) - 22:40, 9 December 2023
- Ordinals and Combinatorics 1997-06-08 Paper A Macro Program for the Primitive Recursive Functions 1992-06-26 Paper On extending endomorphisms to automorphisms...10 bytes (13 words) - 07:58, 6 October 2023
- 1993-05-18 Paper The undecidability of pattern matching in calculi where primitive recursive functions are representable 1993-05-16 Paper https://portal.mardi4nfdi...10 bytes (13 words) - 07:51, 6 October 2023
- factorization domain 2012-06-25 Paper Block companion singer cycles, primitive recursive vector sequences, and coprime polynomial pairs over finite fields 2011-10-12...10 bytes (13 words) - 07:43, 7 October 2023
- languages 2019-11-13 Paper State grammars with stores 2019-11-07 Paper On decidability and closure properties of language classes with respect to bio-operations...10 bytes (17 words) - 18:26, 9 December 2023
- three-valued logic 2008-08-18 Paper On some generalizations of the primitive recursive arithmetic 2004-10-27 Paper Dual realizability in symmetric logic...10 bytes (15 words) - 16:17, 9 December 2023
- UU-algorithm for primitive recursive tree functions 2022-12-09 Paper A strict border for the decidability of E-unification for recursive functions 2017-01-19...10 bytes (13 words) - 10:17, 24 September 2023
- DIAGONAL LEMMA OF GÖDEL AND CARNAP 2021-01-05 Paper On Rudimentarity, Primitive Recursivity and Representability 2020-09-22 Paper On the Truth of G\"odelian...10 bytes (15 words) - 10:03, 12 December 2023
- Isomorphism and classification for countable structures 2020-01-17 Paper Primitive recursive fields and categoricity 2019-12-06 Paper Effectivizing Lusin's Theorem...10 bytes (14 words) - 18:33, 11 December 2023
- relations 1979-01-01 Paper The first example of a recursive function which is not primitive recursive 1979-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3907118...10 bytes (17 words) - 12:28, 28 January 2024
- Lossy Channel Systems 2008-05-27 Paper Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems 2008-04-24 Paper The ω-Regular...10 bytes (13 words) - 01:05, 9 December 2023
