Über die Axiome Produkt-Abgeschlossener Arithmetischer Klassen

DOI10.1007/BF01973146zbMath0108.00601OpenAlexW2002060036MaRDI QIDQ3843612

Arnold Oberschelp

Publication date: 1958

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137747

zbMATH Keywords

partial converse of Horn's theoremproduct axiomstatement of first order predicate calculus with identity and with functional variables

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (4)

Reduced Products and Horn Classes ⋮ Properties preserved under algebraic constructions ⋮ Über die Axiome arithmetischer Klassen mit Abgeschlossenheitsbedingungen ⋮ Über die Unentscheidbarkeit Gewisser Axiomenmengen

Cites Work

• Unnamed Item
• Unnamed Item
• On Arithmetical Classes Not Closed Under Direct Union
• On sentences which are true of direct unions of algebras
• The decision problem for some classes of sentences without quantifiers

This page was built for publication: Über die Axiome Produkt-Abgeschlossener Arithmetischer Klassen