Pages that link to "Item:Q3328515"

The following pages link to LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS (Q3328515):

Displaying 27 items.

• Decision procedures for flat array properties (Q287272) (← links)
• Positive existential definability of multiplication from addition and the range of a polynomial (Q503237) (← links)
• The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates (Q690498) (← links)
• Decidability questions for a ring of Laurent polynomials (Q764281) (← links)
• Almost periodicity, finite automata mappings, and related effectiveness issues (Q845086) (← links)
• Computational complexity of logical theories of one successor and another unary function (Q868664) (← links)
• Decidability in elementary analysis. II (Q912081) (← links)
• A uniform method for proving lower bounds on the computational complexity of logical theories (Q917543) (← links)
• Complexity of logical theories involving coprimality (Q1202924) (← links)
• On arithmetical first-order theories allowing encoding and decoding of lists (Q1960537) (← links)
• On decidability of monadic logic of order over the naturals extended by monadic predicates (Q2373700) (← links)
• A New Acceleration-Based Combination Framework for Array Properties (Q2964461) (← links)
• On an exponential predicate in polynomials over finite fields (Q3574832) (← links)
• Decidability of Sub-theories of Polynomials over a Finite Field (Q3576076) (← links)
• Decidable Extensions of Church’s Problem (Q3644764) (← links)
• ON UNIFORMLY RECURRENT MORPHIC SEQUENCES (Q3646174) (← links)
• (Q3752369) (← links)
• Extensions of Hilbert's tenth problem (Q4302340) (← links)
• (Q4585066) (← links)
• On the Complexity of Infinite Advice Strings (Q5002808) (← links)
• The Diophantine problem in some metabelian groups (Q5113678) (← links)
• Decidable Expansions of Labelled Linear Orderings (Q5892516) (← links)
• Decidability of the theory of the natural integers with the Cantor pairing function and the successor (Q5941253) (← links)
• The Diophantine problem for systems of algebraic equations with exponents (Q6054794) (← links)
• The theory of hereditarily bounded sets (Q6094150) (← links)
• A decision procedure for string constraints with string/integer conversion and flat regular constraints (Q6150112) (← links)
• The monadic theory of toric words (Q6652470) (← links)