A first order proof of a theorem of Frink

DOI10.1007/BF02483852MaRDI QIDQ1160202zbMATH OpenOpenAlexFDO

Authors R. Padmanabhan

Publication date 1981

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02483852

zbMATH Keywords

first order logiccomplemented distributive latticepostulates for Boolean algebrasStone's representation theorem

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logical aspects of Boolean algebras (03G05) Stone spaces (Boolean spaces) and related structures (06E15)

Cites work

• On Axioms for Semi-Lattices

Cited in

(1)

• Canonical extensions and relational representations of lattices with negation

This page was built for publication: A first order proof of a theorem of Frink

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