Search results
From MaRDI portal
- Publication Date of Publication Type Existential Definability over the Subword Ordering 2024-01-16 Paper https://portal.mardi4nfdi.de/entity/Q5875690 2023-02-03...10 bytes (18 words) - 14:29, 24 September 2023
- Arithmetic for Arbitrary Quadratic Polynomials 2019-11-12 Paper Positive existential definability of multiplication from addition and the range of a polynomial 2017-01-11...10 bytes (16 words) - 17:20, 11 December 2023
- labelling techniques for interpretability logics 2023-09-12 Paper Existential definability of modal frame classes 2023-09-11 Paper Complexity of the interpretability...10 bytes (16 words) - 21:32, 26 December 2023
- Publication Date of Publication Type Existential definability and diophantine stability 2023-10-11 Paper On existential definitions of c.e. subsets of rings...10 bytes (16 words) - 05:23, 9 December 2023
- 2017-09-27 Paper Definability of Frobenius orbits and a result on rational distance sets 2017-01-25 Paper Positive existential definability of multiplication...10 bytes (17 words) - 17:20, 11 December 2023
- and bisimulation games between Verbrugge models 2023-09-15 Paper Existential definability of modal frame classes 2023-09-11 Paper Decidability of interpretability...10 bytes (16 words) - 10:19, 6 October 2023
- axiomatic look at the Erdős-Trost problem 2017-02-02 Paper Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine...10 bytes (18 words) - 04:26, 12 December 2023
- Paper A Note on Primitive Recursive Functions 1955-01-01 Paper Existential Definability in Arithmetic 1952-01-01 Paper An iterative method of solving a...10 bytes (17 words) - 09:59, 24 September 2023
- 2017-04-25 Paper Equational definability of (complementary) central elements 2016-06-22 Paper Varieties with equationally definable factor congruences 2014-04-08...10 bytes (17 words) - 05:58, 12 December 2023
- Publication Date of Publication Type Existential Definability over the Subword Ordering 2024-01-16 Paper Unboundedness problems for machines with reversal-bounded...10 bytes (16 words) - 18:37, 24 September 2023
- Paper Deciding quantifier-free definability in finite algebraic structures 2021-01-19 Paper The complexity of definability by open first-order formulas 2021-01-08...10 bytes (18 words) - 17:55, 8 December 2023
- the Macintyre language: 2015-08-14 Paper EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS 2015-05-20 Paper On fields of totally $S$-adic numbers 2015-04-10...10 bytes (16 words) - 18:15, 6 October 2023
- of Publication Type Existential Diophantine definability of string length 2019-05-29 Paper A transfer method from bounded existential Diophantine equations...10 bytes (17 words) - 16:09, 12 December 2023
- holomorphy rings of function fields of characteristic 0 2009-12-02 Paper Existential definability of non-nullity in rings 2009-03-16 Paper Elliptic curves and Hilbert’s...10 bytes (18 words) - 21:46, 24 September 2023
- Paper Semantical conditions for the definability of functions and relations 2016-09-14 Paper Equational definability of (complementary) central elements...10 bytes (18 words) - 17:10, 8 December 2023
- by the Statistical Behavior of Modular Symbols 2023-11-30 Paper Existential definability and diophantine stability 2023-10-11 Paper Erratum to: ``Disparity...10 bytes (17 words) - 15:30, 10 December 2023
- topos 1998-07-20 Paper Geometry of recursion for arithmetic and existentially defined relations 1998-04-01 Paper Optimization issues in structured-modular...10 bytes (18 words) - 10:02, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q3102222 2011-12-02 Paper Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine...10 bytes (17 words) - 19:34, 8 December 2023
- Paper Diophantine definability of nonnorms of cyclic extensions of global fields 2019-10-24 Paper Universally and existentially definable subsets of global...10 bytes (16 words) - 19:28, 24 September 2023
- Publication Date of Publication Type Existential Definability over the Subword Ordering 2024-01-16 Paper Unboundedness problems for machines with reversal-bounded...10 bytes (16 words) - 18:16, 24 September 2023
