Harnessing the analog computing power of regulatory networks with the Regulatory Network Machine. [PDF]
Pietak A, Levin M.
europepmc +1 more source
Noncommutative Bohnenblust-Hille inequalities. [PDF]
Volberg A, Zhang H.
europepmc +1 more source
Research on influencing factors and correlation pathways of rural teachers' retention in China. [PDF]
Chen F, Li YJ, Liu TF.
europepmc +1 more source
Configurational pathways to effective rural older adult sports participation: a necessity and sufficiency analysis using NCA and QCA. [PDF]
Feng H, Li Y, Wang X, Wang Q, Wang Z.
europepmc +1 more source
Deciphering the topological landscape of glioma using a network theory framework. [PDF]
Yao M +6 more
europepmc +1 more source
Circuit complexity and functionality: A statistical thermodynamics perspective. [PDF]
Chamon C +3 more
europepmc +1 more source
A model of ZF with an infinite free complete Boolean algebra
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
Related searches:
Freely generated filters in free Boolean algebras
Studia Logica, 1995zbMATH 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, 2001We 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

