Model-completeness and elimination of quantifiers for subdirect products of structures (Q1222162): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0021-8693(75)90101-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2055120326
@@ Property / OpenAlex ID: W2055120326 / rank @@
+Normal rank
@@ Property / cites work @@
+Hereditary Commutative Rings and Centres of Hereditary Rings
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+The representation of biregular rings by sheaves
@@ Property / cites work: The representation of biregular rings by sheaves / rank @@
+Normal rank
@@ Property / cites work @@
+Model-completions and modules
@@ Property / cites work: Model-completions and modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638369
@@ Property / cites work: Q5638369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536619
@@ Property / cites work: Q5536619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519166
@@ Property / cites work: Q5519166 / rank @@
+Normal rank
@@ Property / cites work @@
+The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements
+Normal rank
@@ Property / cites work @@
+Model-completeness for sheaves of structures
@@ Property / cites work: Model-completeness for sheaves of structures / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to model theory and to the metamathematics of algebra
+Normal rank
@@ Property / cites work @@
+Q5652669
@@ Property / cites work: Q5652669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3255438
@@ Property / cites work: Q3255438 / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1222162