Article contents
CANONICAL MODELS FOR FRAGMENTS OF THE AXIOM OF CHOICE
Published online by Cambridge University Press: 19 June 2017
Abstract
We develop technology for investigation of natural forcing extensions of the model $L\left( \mathbb{R} \right)$ which satisfy such statements as “there is an ultrafilter” or “there is a total selector for the Vitali equivalence relation”. The technology reduces many questions about ZF implications between consequences of the Axiom of Choice to natural ZFC forcing problems.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2017
References
REFERENCES
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20170619131633735-0276:S0022481217000299:S0022481217000299_inline2.gif?pub-status=live)
- 2
- Cited by