Hostname: page-component-78c5997874-4rdpn Total loading time: 0 Render date: 2024-11-17T16:14:31.030Z Has data issue: false hasContentIssue false

CANONICAL MODELS FOR FRAGMENTS OF THE AXIOM OF CHOICE

Published online by Cambridge University Press:  19 June 2017

PAUL LARSON
Affiliation:
DEPARTMENT OF MATHEMATICS MIAMI UNIVERSITY OXFORD, OH45056, USAE-mail: [email protected]
JINDŘICH ZAPLETAL
Affiliation:
DEPARTMENT OF MATHEMATICS UNIVERSITY OF FLORIDA PO BOX 118105 GAINESVILLE, FL32611, USAE-mail: [email protected]

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
Copyright
Copyright © The Association for Symbolic Logic 2017 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Bartoszynski, T. and Judah, H., Set Theory. On the structure of the Real Line, Peters, A K, Wellesley, MA, 1995.Google Scholar
Blass, A., Kleene degrees of ultrafilters , Recursion Theory Week (Oberwolfach, 1984) (Ebbinghaus, H.-D., Müller, G. H., and Sacks, G. E., editors), Lecture Notes in Mathematics, vol. 1141, Springer, Berlin, 1985, pp. 2948.CrossRefGoogle Scholar
Di Prisco, C. A. and Todorcevic, S., Souslin partitions of products of finite sets . Advances in Mathematics, vol. 176 (2003), no. 1, pp. 145173.CrossRefGoogle Scholar
Di Prisco, C. and Todorcevic, S., Perfect set properties in L( R )[U]. Advances in Mathematics, vol. 139 (1998), pp. 240259.CrossRefGoogle Scholar
Farah, I., Semiselective coideals . Mathematika, vol. 45 (1998), no. 1, pp. 79103.CrossRefGoogle Scholar
Gao, S., Invariant Descriptive Set Theory, CRC Press, Boca Raton, 2009.Google Scholar
Henle, J., Mathias, A. R. D., and Woodin, W. H., A barren extension , Methods in Mathematical Logic (Di Prisco, C. A., editor), Lecture Notes in Mathematics, vol. 1130, Springer Verlag, New York, 1985, pp. 195207.CrossRefGoogle Scholar
Jech, T., Set Theory, Academic Press, San Diego, 1978.Google Scholar
Kanovei, V., Sabok, M., and Zapletal, J., Canonical Ramsey Theory on Polish Spaces, Cambridge Tracts in Mathematics, vol. 202, Cambridge University Press, Cambridge, 2013.CrossRefGoogle Scholar
Ketchersid, R., Larson, P., and Zapletal, J., Ramsey ultrafilters and countable-to-one uniformization . Topology and its Applications, vol. 213 (2016), pp. 190198.Google Scholar
Larson, P. B., The Stationary Tower, University Lecture Series, vol. 32, American Mathematical Society, Providence, RI, 2004. Notes on a course by Woodin, W. H..Google Scholar
Larson, P. B., A choice function on countable sets, from determinacy . Proceedings of the American Mathematical Society, vol. 143 (2015), no. 4, pp. 17631770.CrossRefGoogle Scholar
Laver, R., Products of infinitely many perfect trees . Journal of London Mathematical Society, vol. 29 (1984), pp. 385396.CrossRefGoogle Scholar
Miller, B. D., The graph-theoretic approach to descriptive set theory . Bulletin of Symbolic Logic, vol. 18 (2012), pp. 554574.CrossRefGoogle Scholar
Shelah, S., Two cardinal invariants of the continuumd ɣ<a and FS linearly ordered iterated forcing . Acta Mathematica, vol. 192 (2004), no. 2, pp. 187223.CrossRefGoogle Scholar
Shelah, S. and Zapletal, J., Ramsey theorems for product of finite sets with submeasures . Combinatorica, vol. 31 (2011), pp. 225244.CrossRefGoogle Scholar
Thomas, S. and Zapletal, J., On the Steinhaus and Bergman properties for infinite products of finite groups . Confluentes Mathematici, vol. 4 (2012), no. 2, 1250002, 26.CrossRefGoogle Scholar
Woodin, W. H., The cardinals below $|[\omega _1 ]^{ < \omega _1 } |$ . Annals of Pure and Applied Logic, vol. 140 (2006), pp. 161232.Google Scholar
Zapletal, J., Forcing Idealized, Cambridge Tracts in Mathematics, vol. 174, Cambridge University Press, Cambridge, 2008.CrossRefGoogle Scholar
Zapletal, J., Borel reducibility invariants in higher set theory , 2017, in preparation.Google Scholar