Article contents
A remark on Martin's Conjecture
Published online by Cambridge University Press: 12 March 2014
Abstract
We prove that the strong Martin conjecture is false. The counterexample is the first-order theory of infinite atomic Boolean algebras. We show that for this class of Boolean algebras, the classification of their (ω + ω)-elementary theories can be reduced to the classification of the elementary theories of their quotient algrbras modulo the Frechét ideals.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2001
References
REFERENCES
- 1
- Cited by