Zur axiomatisierbarkeit von theorien in der schwachen logik der zweiten stufe

DOI10.1007/BF01974501zbMath0165.01501MaRDI QIDQ5549794

Wolfram Schwabhäuser

Publication date: 1967

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

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

zbMATH Keywords

algebraic logic, model theory

Related Items (2)

Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry ⋮ The axiomatics of ordered geometry: I. Ordered incidence spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Undecidable theories
• Explizite Definitionen einiger Eigenschaften von Zeichenreihen
• Finite Axiomatizability using additional predicates
• Einbettung elementarer Theorien in endlich axiomatisierbare
• On axiomatizability within a system

This page was built for publication: Zur axiomatisierbarkeit von theorien in der schwachen logik der zweiten stufe