Nonpresentability of some structures of analysis in hereditarily finite superstructures (Q1644856): Difference between revisions

@@ Property / cites work @@
+A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
+Normal rank
@@ Property / cites work @@
+Q4935938
@@ Property / cites work: Q4935938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249360
@@ Property / cites work: Q4249360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3464659
@@ Property / cites work: Q3464659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5294751
@@ Property / cites work: Q5294751 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4882531
@@ Property / cites work: Q4882531 / rank @@
+Normal rank
@@ Property / cites work @@
+Some presentations of the real number field
@@ Property / cites work: Some presentations of the real number field / rank @@
+Normal rank
@@ Property / cites work @@
+Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Indiscernibles in Decidable Models
@@ Property / cites work: Degrees of Indiscernibles in Decidable Models / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion theory on fields and abstract dependence
+Normal rank
@@ Property / cites work @@
+Q2906566
@@ Property / cites work: Q2906566 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5644548
@@ Property / cites work: Q5644548 / rank @@
+Normal rank