Properties preserved under algebraic constructions (Q3257768): Difference between revisions

@@ Property / author @@
-Roger C. Lyndon
@@ Property / author: Roger C. Lyndon / rank @@
-Normal rank
@@ Property / author @@
+Roger C. Lyndon
@@ Property / author: Roger C. Lyndon / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Horn sentences in identity theory
@@ Property / cites work: Horn sentences in identity theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5819445
@@ Property / cites work: Q5819445 / rank @@
+Normal rank
@@ Property / cites work @@
+On Arithmetical Classes Not Closed Under Direct Union
+Normal rank
@@ Property / cites work @@
+On Unions of Chains of Models
@@ Property / cites work: On Unions of Chains of Models / rank @@
+Normal rank
@@ Property / cites work @@
+On closure under direct product
@@ Property / cites work: On closure under direct product / rank @@
+Normal rank
@@ Property / cites work @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Some Interconnections Between Modern Algebra and Mathematical Logic
+Normal rank
@@ Property / cites work @@
+Two concepts from the theory of models
@@ Property / cites work: Two concepts from the theory of models / rank @@
+Normal rank
@@ Property / cites work @@
+On sentences which are true of direct unions of algebras
+Normal rank
@@ Property / cites work @@
+Zur Axiomatik der Verknüpfungsbereiche
@@ Property / cites work: Zur Axiomatik der Verknüpfungsbereiche / rank @@
+Normal rank
@@ Property / cites work @@
+On the extending of models (I)
@@ Property / cites work: On the extending of models (I) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226741
@@ Property / cites work: Q3226741 / rank @@
+Normal rank
@@ Property / cites work @@
+An interpolation theorem in the predicate calculus
+Normal rank
@@ Property / cites work @@
+Properties preserved under homomorphism
@@ Property / cites work: Properties preserved under homomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Properties preserved in subdirect products
@@ Property / cites work: Properties preserved in subdirect products / rank @@
+Normal rank
@@ Property / cites work @@
+Existential Horn Sentences
@@ Property / cites work: Existential Horn Sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Sur les congruences et les propriétés positives d'algèbres abstraites
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank
@@ Property / cites work @@
+Über die Axiome Produkt-Abgeschlossener Arithmetischer Klassen
+Normal rank
@@ Property / cites work @@
+On the metamathematics of algebra
@@ Property / cites work: On the metamathematics of algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Note on a problem of L. Henkin
@@ Property / cites work: Note on a problem of L. Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+Comments on Lefschetz's Principle
@@ Property / cites work: Comments on Lefschetz's Principle / rank @@
+Normal rank
@@ Property / cites work @@
+Q5833217
@@ Property / cites work: Q5833217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3265664
@@ Property / cites work: Q3265664 / rank @@
+Normal rank