Strong representability of fork algebras, a set theoretic foundation

DOI10.1093/jigpal/5.1.3zbMath0877.03029OpenAlexW1977062492MaRDI QIDQ4340926

Istvan Németi

Publication date: 21 November 1997

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/5.1.3

zbMATH Keywords

representation theoremrelation algebraequational theoryanti-foundation axiomnon-well-founded set theoryfinitization problemfork algebrafork operation

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Other set-theoretic hypotheses and axioms (03E65) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (3)

Weakly higher order cylindric algebras and finite axiomatization of the representables ⋮ Omitting types for algebraizable extensions of first order logic ⋮ A completeness theorem for higher order logics

This page was built for publication: Strong representability of fork algebras, a set theoretic foundation