A list of arithmetical structures complete with respect to the first-order definability (Q5941257): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The elementary theory of finite fields
@@ Property / cites work: The elementary theory of finite fields / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and undecidability of theories with a predicate for the primes
+Normal rank
@@ Property / cites work @@
+Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
+Normal rank
@@ Property / cites work @@
+On Pascal triangles modulo a prime power
@@ Property / cites work: On Pascal triangles modulo a prime power / rank @@
+Normal rank
@@ Property / cites work @@
+Q3842688
@@ Property / cites work: Q3842688 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable extensions of Skolem arithmetic
@@ Property / cites work: Undecidable extensions of Skolem arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5824680
@@ Property / cites work: Q5824680 / rank @@
+Normal rank
@@ Property / cites work @@
+More on an undecidability result of Bateman, Jockusch and Woods
+Normal rank
@@ Property / cites work @@
+Q3996802
@@ Property / cites work: Q3996802 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the monadic second-order theory of                            successor
+Normal rank
@@ Property / cites work @@
+Q3934367
@@ Property / cites work: Q3934367 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707987
@@ Property / cites work: Q3707987 / rank @@
+Normal rank
@@ Property / cites work @@
+The elementary theory of the natural lattice is finitely axiomatizable
+Normal rank
@@ Property / cites work @@
+Q3480176
@@ Property / cites work: Q3480176 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability, decidability, complexity
@@ Property / cites work: Definability, decidability, complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Definability and decidability issues in extensions of the integers with the divisibility predicate
+Normal rank
@@ Property / cites work @@
+Q4697160
@@ Property / cites work: Q4697160 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the theory of the natural integers with the Cantor pairing function and the successor
+Normal rank
@@ Property / cites work @@
+Q3711757
@@ Property / cites work: Q3711757 / rank @@
+Normal rank
@@ Property / cites work @@
+On the base-dependence of sets of numbers recognizable by finite automata
+Normal rank
@@ Property / cites work @@
+Uniform tag sequences
@@ Property / cites work: Uniform tag sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
+Normal rank
@@ Property / cites work @@
+An Infinite Product for <i>e</i>
@@ Property / cites work: An Infinite Product for <i>e</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Contribution à l'étude d'une conjecture de théorie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding)
+Normal rank
@@ Property / cites work @@
+Q4052222
@@ Property / cites work: Q4052222 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723793
@@ Property / cites work: Q4723793 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753492
@@ Property / cites work: Q3753492 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3471702
@@ Property / cites work: Q3471702 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142027
@@ Property / cites work: Q3142027 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4272745
@@ Property / cites work: Q4272745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4327098
@@ Property / cites work: Q4327098 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4839134
@@ Property / cites work: Q4839134 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4763283
@@ Property / cites work: Q4763283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4886957
@@ Property / cites work: Q4886957 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4509077
@@ Property / cites work: Q4509077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353517
@@ Property / cites work: Q4353517 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348798
@@ Property / cites work: Q4348798 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837800
@@ Property / cites work: Q3837800 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of generalized Pascal triangles
@@ Property / cites work: Theories of generalized Pascal triangles / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in structures of finite valency
@@ Property / cites work: Definability in structures of finite valency / rank @@
+Normal rank
@@ Property / cites work @@
+Model-interpretability into trees and applications
+Normal rank
@@ Property / cites work @@
+Q4025976
@@ Property / cites work: Q4025976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572332
@@ Property / cites work: Q5572332 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3826636
@@ Property / cites work: Q3826636 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness Theorems, Incompleteness Theorems and Models of Arithmetic
+Normal rank
@@ Property / cites work @@
+Q4229041
@@ Property / cites work: Q4229041 / rank @@
+Normal rank
@@ Property / cites work @@
+Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems
+Normal rank
@@ Property / cites work @@
+Complexity of logical theories involving coprimality
+Normal rank
@@ Property / cites work @@
+Q3949037
@@ Property / cites work: Q3949037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124795
@@ Property / cites work: Q4124795 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4014856
@@ Property / cites work: Q4014856 / rank @@
+Normal rank
@@ Property / cites work @@
+On direct products of theories
@@ Property / cites work: On direct products of theories / rank @@
+Normal rank
@@ Property / cites work @@
+A reduction in the number of primitive ideas of arithmetic
+Normal rank
@@ Property / cites work @@
+Logically defined subsets of \(\mathbb{N}{}^ k\)
@@ Property / cites work: Logically defined subsets of \(\mathbb{N}{}^ k\) / rank @@
+Normal rank
@@ Property / cites work @@
+Solvability of the theory of integers with addition, order, and multiplication by an arbitrary number
+Normal rank
@@ Property / cites work @@
+Twins problem in formal arithmetic
@@ Property / cites work: Twins problem in formal arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707983
@@ Property / cites work: Q3707983 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and essential undecidability
@@ Property / cites work: Decidability and essential undecidability / rank @@
+Normal rank
@@ Property / cites work @@
+Concatenation as a basis for arithmetic
@@ Property / cites work: Concatenation as a basis for arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q3962975
@@ Property / cites work: Q3962975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3218118
@@ Property / cites work: Q3218118 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility
+Normal rank
@@ Property / cites work @@
+All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate
+Normal rank
@@ Property / cites work @@
+Q3714077
@@ Property / cites work: Q3714077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3834042
@@ Property / cites work: Q3834042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4735188
@@ Property / cites work: Q4735188 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers
+Normal rank
@@ Property / cites work @@
+Definability and decision problems in arithmetic
@@ Property / cites work: Definability and decision problems in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Existential Definability in Arithmetic
@@ Property / cites work: Existential Definability in Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181353
@@ Property / cites work: Q5181353 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary Properties of Ordered Abelian Groups
@@ Property / cites work: Elementary Properties of Ordered Abelian Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Presburgerness of predicates regular in two number systems
+Normal rank
@@ Property / cites work @@
+ON CERTAIN EXTENSIONS OF THE ARITHMETIC OF ADDITION OF NATURAL NUMBERS
+Normal rank
@@ Property / cites work @@
+Q3346281
@@ Property / cites work: Q3346281 / rank @@
+Normal rank
@@ Property / cites work @@
+Büchi's monadic second order successor arithmetic.
+Normal rank
@@ Property / cites work @@
+Notes on Binomial Coefficients Iii-Any Integer Divides Almost All Binomial Coefficients†
+Normal rank
@@ Property / cites work @@
+A note on undecidable extensions of monadic second order successor arithmetic
+Normal rank
@@ Property / cites work @@
+The theory of successor with an extra predicate
@@ Property / cites work: The theory of successor with an extra predicate / rank @@
+Normal rank
@@ Property / cites work @@
+On the bounded monadic theory of well-ordered structures
+Normal rank
@@ Property / cites work @@
+A combinatorial approach to the theory of ω-automata
+Normal rank
@@ Property / cites work @@
+The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable
+Normal rank
@@ Property / cites work @@
+Q4474849
@@ Property / cites work: Q4474849 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3759964
@@ Property / cites work: Q3759964 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958432
@@ Property / cites work: Q3958432 / rank @@
+Normal rank