- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Freely generated filters in free Boolean algebras
Studia Logica 54 (2):139 - 147 (1995)
Abstract
In this paper we will prove that ifF is a filter of a free Boolean algebra such that the minimal cardinality of the set of generators ofF is an uncountable regular cardinal or a singular cardinal with uncountable cofinality thenF is freely generated.My notes
Similar books and articles
For everyn, then-freely generated algebra is not functionally free in the equational class of diagonalizable algebras.Franco Montagna - 1975 - Studia Logica 34 (4):315 - 319.
Plain semi-post algebras as a poset-based generalization of post algebras and their representability.Nguyen Cat Ho & Helena Rasiowa - 1989 - Studia Logica 48 (4):509 - 530.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
On essentially low, canonically well-generated Boolean algebras.Robert Bonnet & Matatyahu Rubin - 2002 - Journal of Symbolic Logic 67 (1):369-396.
Free łukasiewicz and hoop residuation algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Some remarks on openly generated Boolean algebras.Sakaé Fuchino - 1994 - Journal of Symbolic Logic 59 (1):302-310.
Analytics
Added to PP
2009-01-28
Downloads
31 (#498,916)
6 months
2 (#1,244,653)
2009-01-28
Downloads
31 (#498,916)
6 months
2 (#1,244,653)
Historical graph of downloads
References found in this work
Independent Families in Complete Boolean Algebras.B. Balcar, F. Franek, Bohuslav Balcar, Jan Pelant, Petr Simon & Boban Velickovic - 2002 - Bulletin of Symbolic Logic 8 (4):554-554.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-hc2g5 uwo