Applications of a theorem of Lévy to Boolean terms and algebras
HTML articles powered by AMS MathViewer
- by Jonathan Stavi PDF
- Trans. Amer. Math. Soc. 205 (1975), 1-36 Request permission
Abstract:
The paper begins with a short proof of the Gaifman-Hales theorem and the solution of a problem of Gaifman about the depth and length of Boolean terms. The main results are refinements of the following theorem: Let $\kappa$ be regular, ${\aleph _1} \leq \kappa \leq \infty$. A $< \kappa$-complete Boolean algebra on ${\aleph _0}$ generators, which are restricted by just one countably long equation, is either atomic with $\leq {\aleph _0}$ atoms or isomorphic to the free $< \kappa$-complete Boolean algebra on ${\aleph _0}$ generators. The main tools are a Skolem-Löwenheim type theorem of Azriel Lévy and a coding of Borel sets and Borel-measurable functions by Boolean terms.References
- K. Jon Barwise, Absolute logics and $L_{\infty \omega }$, Ann. Math. Logic 4 (1972), 309–340. MR 337483, DOI 10.1016/0003-4843(72)90002-2
- Jens Erik Fenstad and Dag Normann, On absolutely measurable sets, Fund. Math. 81 (1973/74), no. 2, 91–98. MR 338299, DOI 10.4064/fm-81-2-91-98
- H. Gaifman, Infinite Boolean polynomials. I, Fund. Math. 54 (1964), 229–250. MR 168503, DOI 10.4064/fm-54-3-229-250
- John Gregory, Incompleteness of a formal system for infinitary finite-quantifier formulas, J. Symbolic Logic 36 (1971), 445–455. MR 332431, DOI 10.2307/2269953
- Ronald B. Jensen and Carol Karp, Primitive recursive set functions, Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1971, pp. 143–176. MR 0281602
- Carol Karp, A proof of the relative consistency of the continuum hypothesis, Sets, Models and Recursion Theory (Proc. Summer School Math. Logic and Tenth Logic Colloq., Leicester, 1965) North-Holland, Amsterdam, 1967, pp. 1–32. MR 0218232 A. Lévy, A hierarchy of formulas in set theory, Mem. Amer. Math. Soc. No. 57 (1965). MR 32 #7399.
- Mark Nadel, An application of set theory to model theory, Israel J. Math. 11 (1972), 386–393. MR 304163, DOI 10.1007/BF02761465
- K. R. Parthasarathy, Probability measures on metric spaces, Probability and Mathematical Statistics, No. 3, Academic Press, Inc., New York-London, 1967. MR 0226684
- Robert M. Solovay, A model of set-theory in which every set of reals is Lebesgue measurable, Ann. of Math. (2) 92 (1970), 1–56. MR 265151, DOI 10.2307/1970696
- Jonathan Stavi, Extensions of Kripke’s embedding theorem, Ann. Math. Logic 8 (1975), no. 4, 345–428. MR 409175, DOI 10.1016/0003-4843(75)90006-6
- Eugene Wesley, Extensions of the measurable choice theorem by means of forcing, Israel J. Math. 14 (1973), 104–114. MR 322129, DOI 10.1007/BF02761539
Additional Information
- © Copyright 1975 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 205 (1975), 1-36
- MSC: Primary 02B25; Secondary 02J05, 02K30
- DOI: https://doi.org/10.1090/S0002-9947-1975-0469695-0
- MathSciNet review: 0469695