On the Decidability of the Existential Theory of (original) (raw)
Related papers
On the Decidability of the Existential Theory of F_p[[t]]
2007
Undecidability of existential theories of rings and fields: a survey
Karim Zahidi, Thanases Pheidas
Contemporary Mathematics, 2000
Undecidable existential theories of polynomial rings and function fields
Karim Zahidi, Thanases Pheidas
Communications in algebra, 1999
2015
A remark over fields and domains
Decidability of the class of all the rings : A problem of Ax
Forum of Mathematics, Sigma
An undecidability result for the asymptotic theory of p-adic fields
Annals of Pure and Applied Logic
The Road to Universal Logic, 2015
Varieties with decidable finite algebras I: Linearity
Algebra Universalis, 1989
Undecidability in Function Fields of Positive Characteristic
International Mathematics Research Notices, 2009
Undecidability in Weihrauch Degrees
Lecture Notes in Computer Science, 2010
Decidability of the theory of addition and the Frobenius map in rings of rational functions
2021
Quantifier elimination in tame infinite p-adic fields
2001
On the Expressive Power of Existential Quantification in Polynomial-Time Computability
2000
Decidable theories of pseudo-p-adic closed fields
Algebra and Logic, 1989
Ndjfl, 2008
Decidability and the finite model property
Journal of Philosophical Logic, 1981
Decidable Fragments of the Simple Theory of Types with Infinity and NF
Notre Dame Journal of Formal Logic, 2017
Elimination theory for addition and the Frobenius map in polynomial rings
The Journal of Symbolic Logic, 2004
A resolution framework for finitely-valued first-order logics
Journal of Symbolic Computation, 1992
Decidability and Invariant Classes for Degree Structures
Transactions of the American Mathematical Society, 1988
Decidability and Complexity of Finitely Closable Linear Equational Theories
Lecture Notes in Computer Science, 2001
Definability, decidability, complexity
Annals of Mathematics and Artificial Intelligence, 1996
2014
Existentially Closed Models in the Framework of Arithmetic
Journal of Symbolic Logic, 2016
2013
Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties
Algebra Universalis, 1988
Primitive recursive selection functions for existential assertions over abstract algebras
The Journal of Logic and Algebraic Programming, 2008
Notes on the decidability of addition and the Frobenius map for polynomials and rational functions
Reports on Mathematical Logic, 2022
2018
2013
Reducibility orderings: Theories, definability and automorphisms
Annals of Mathematical Logic, 1980