Search results
From MaRDI portal
- and the Metaphysics of Theories 2017-07-14 Paper https://portal.mardi4nfdi.de/entity/Q3145126 2012-12-14 Paper Dappled Theories in a Uniform World 2011-10-17...10 bytes (16 words) - 10:42, 7 October 2023
- Date of Publication Type Quantum Mechanics As a Theory of Observables and States (And, Thereby, As a Theory of Probability) 2020-08-31 Paper https://portal...10 bytes (16 words) - 13:51, 28 January 2024
- the Brill-Noether theory for \(K3\) surfaces 2013-08-05 Paper On ramified covers of the projective plane. II: Generalizing Segre's theory 2012-04-20 Paper...10 bytes (16 words) - 14:23, 6 October 2023
- Publication Date of Publication Type Theory and application of labelling techniques for interpretability logics 2023-09-12 Paper Existential definability...10 bytes (16 words) - 21:32, 26 December 2023
- Paper Interpreting lattice-valued set theory in fuzzy set theory 2013-06-11 Paper On equality and natural numbers in Cantor-Lukasiewicz set theory 2013-06-11...10 bytes (17 words) - 00:10, 9 December 2023
- Type Theory and application of labelling techniques for interpretability logics 2023-09-12 Paper TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC...10 bytes (16 words) - 18:08, 6 October 2023
- PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES 2020-04-17 Paper Characterizations of interpretability in bounded arithmetic...10 bytes (18 words) - 05:33, 7 October 2023
- Publication Type TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES 2024-02-23 Paper MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE...10 bytes (16 words) - 23:25, 24 September 2023
- second-order logic 2023-09-02 Paper The Π21$\Pi ^1_2$ consequences of a theory 2023-08-23 Paper Arithmetical and Hyperarithmetical Worm Battles 2023-01-04...10 bytes (18 words) - 15:07, 10 December 2023
- https://portal.mardi4nfdi.de/entity/Q4648961 2012-11-16 Paper On interpretability in the theory of concatenation 2009-11-18 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 00:49, 25 September 2023
- the fundamental complexity of simple theories 2016-02-02 Paper Cofinality spectrum theorems in model theory, set theory, and general topology 2015-11-03 Paper...10 bytes (18 words) - 09:54, 11 December 2023
- autoencoder for clustering and embedding 2022-01-28 Paper Maximizing interpretability and cost-effectiveness of surgical site infection (SSI) predictive...10 bytes (16 words) - 02:50, 13 December 2023
- Paper On quantifying out 1995-11-28 Paper Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order 1992-07-22 Paper...10 bytes (18 words) - 21:18, 8 December 2023
- theorem on partial conservativity in arithmetic 2011-03-18 Paper THE ∀∃ THEORY OF PEANO Σ1 SENTENCES 2010-03-19 Paper Note on some fixed point constructions...10 bytes (17 words) - 13:57, 24 September 2023
- 1992-06-28 Paper Explicit fixed points in interpretability logic 1992-06-25 Paper The formalization of interpretability 1992-06-25 Paper Peano's smart children:...10 bytes (17 words) - 20:53, 24 September 2023
- Paper Intermediate logics and the de Jongh property 2011-03-02 Paper Interpretability in PRA 2009-11-04 Paper Unifiability in extensions of K4 2009-05-05...10 bytes (23 words) - 01:17, 12 December 2023
- Paper On some reducibility and existential interpretability of structures 2017-06-30 Paper Computable Model Theory over the Reals 2017-04-04 Paper Definability...10 bytes (18 words) - 01:08, 11 December 2023
- mardi4nfdi.de/entity/Q4303112 1995-03-20 Paper Inductive Logic Programming: Theory and methods 1994-10-13 Paper Predicate invention and utilization 1994-05-03...10 bytes (19 words) - 06:05, 9 December 2023
- Structured Intensional Groups 2024-02-28 Paper Theory and application of labelling techniques for interpretability logics 2023-09-12 Paper Qualitative reasoning...10 bytes (16 words) - 13:50, 7 October 2023
- First-order concatenation theory with bounded quantifiers 2021-01-19 Paper Decidable and undecidable fragments of first-order concatenation theory 2018-09-06 Paper...10 bytes (16 words) - 18:27, 24 September 2023
