scientific article; zbMATH DE number 3230232

MaRDI QIDQ5518345zbMATH OpenFDO

Authors Iégor Reznikoff

Publication date 1965

zbMATH Keywords

mathematical logic

Cited in

(7)

• Covers in lattices of quasivarieties and independent axiomatizability
• Independent axiomatizability of sets of sentences
• Key notions of Tarski's methodology of deductive systems
• Freely generated filters in free Boolean algebras
• Properties of the logical consequence operation and its relationship with the independence of propositional logic
• scientific article; zbMATH DE number 3252190 (Why is no real title available?)
• Independent Recursive Axiomatizability in Arithmetic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5518345)