Results 121 to 130 of about 47,397 (182)

Circuit complexity and functionality: A statistical thermodynamics perspective. [PDF]

open access: yesProc Natl Acad Sci U S A
Chamon C   +3 more
europepmc   +1 more source

A model of ZF with an infinite free complete Boolean algebra

open access: closedIsrael Journal of Mathematics, 1975
By a theorem of Gaifman and Hales no model of ZF+AC (Zermelo-Fraenkel set theory plus the axiom of choice) contains an infinite free complete Boolean algebra. We construct a model of ZF in which an infinite free c.B.a. exists.
Jonathan Stavi
semanticscholar   +3 more sources

Freely generated filters in free Boolean algebras

Studia Logica, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
J. Grygiel
openaire   +3 more sources

Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski

Studia Scientiarum Mathematicarum Hungarica, 2001
We characterize the finite-dimensional elements of a free cylindric algebra. This solves Problem 2.10 in [Henkin, Monk, Tarski: Cylindric Algebras, North-Holland, 1971 and 1985]. We generalize the characterization to quasi-varieties of Boolean algebras with op- erators in place of cylindric algebras.
Madarász, J. X., Németi, I.
openaire   +2 more sources

Home - About - Disclaimer - Privacy