Undecidability of theories of Boolean algebras with selected ideals
1986
Keywords:
- Boolean function
- Boolean algebra
- Mathematical logic
- Mathematics
- Boolean algebra (structure)
- Discrete mathematics
- Algebra
- Parity function
- Relation algebra
- Free Boolean algebra
- Stone's representation theorem for Boolean algebras
- Complete Boolean algebra
- Boolean prime ideal theorem
- Two-element Boolean algebra
- Ideal (order theory)
- Interior algebra
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
4
References
7
Citations
NaN
KQI