Recursive models and the divisibility poset (Q5937812): Difference between revisions

@@ 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 @@
+Q3934367
@@ Property / cites work: Q3934367 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960826
@@ Property / cites work: Q3960826 / rank @@
+Normal rank
@@ Property / cites work @@
+Skolem functions and constructive models
@@ Property / cites work: Skolem functions and constructive models / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Some problem in elementary arithmetics
@@ Property / cites work: Some problem in elementary arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonarithmetical ℵ<sub>0</sub>-categorical theories with recursive models
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+Theories with recursive models
@@ Property / cites work: Theories with recursive models / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of Peano multiplication
@@ Property / cites work: The completeness of Peano multiplication / rank @@
+Normal rank
@@ Property / cites work @@
+Every recursive enumerable extension of a theory of linear order has a constructive model
+Normal rank
@@ Property / cites work @@
+Q3931368
@@ Property / cites work: Q3931368 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4477876
@@ Property / cites work: Q4477876 / rank @@
+Normal rank