Semantical Completeness Theorems in Logic and Algebra

DOI10.2307/2042394zbMath0453.03060OpenAlexW4249741295MaRDI QIDQ3900058

Vladimir Lifschitz

Publication date: 1980

Full work available at URL: https://doi.org/10.2307/2042394

zbMATH Keywords

proof theoryNullstellensatzduality theorem of Farkas-Minkowskihyper-resolution method

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Related Items

Valuative Lattices and Spectra ⋮ Unnamed Item ⋮ A syntactical proof of the Marriage Lemma.

Cites Work

• On the Metamathematics of Rings and Integral Domains
• Logic and Invariant Theory. I: Invariant Theory of Projective Properties
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantical Completeness Theorems in Logic and Algebra