On decidability and axiomatizability of some ordered structures (Q2318170): Difference between revisions

@@ Property / OpenAlex ID @@
+W3099601755
@@ Property / OpenAlex ID: W3099601755 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57533014
@@ Property / Wikidata QID: Q57533014 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05157
@@ Property / arXiv ID: 1709.05157 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and Logic
@@ Property / cites work: Computability and Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703808
@@ Property / cites work: Q2703808 / rank @@
+Normal rank
@@ Property / cites work @@
+New Proof of the Generalized Chinese Remainder Theorem
+Normal rank
@@ Property / cites work @@
+Q5707890
@@ Property / cites work: Q5707890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5623682
@@ Property / cites work: Q5623682 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124795
@@ Property / cites work: Q4124795 / 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 @@
+The General Chinese Remainder Theorem
@@ Property / cites work: The General Chinese Remainder Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4724592
@@ Property / cites work: Q4724592 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical logic and model theory. A brief introduction
+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 @@
+Elementary Properties of Ordered Abelian Groups
@@ Property / cites work: Elementary Properties of Ordered Abelian Groups / rank @@
+Normal rank
@@ Property / cites work @@
+On Axiomatizability of the Multiplicative Theory of Numbers
+Normal rank
@@ Property / cites work @@
+Logical number theory I. An introduction
@@ Property / cites work: Logical number theory I. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5792042
@@ Property / cites work: Q5792042 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary properties of Abelian groups
@@ Property / cites work: Elementary properties of Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+On \(\mathsf{Q}\)
@@ Property / cites work: On \(\mathsf{Q}\) / rank @@
+Normal rank