paper-reflection.bib

@book{caramello:ttt,
  author = {Caramello, O.},
  title = {Theories, Sites, Toposes: Relating and studying mathematical theories through topos-theoretic `bridges'},
  publisher = {Oxford University Press},
  year = {2018}}

@book{borceux:handbook3,
  author = {Borceux, F.},
  title = {Handbook of Categorical Algebra: Volume 3, Sheaf Theory},
  series = {Encyclopedia Math. Appl.},
  year = {1994},
  publisher = {Cambridge University Press}}

@book{goldblatt:topoi,
  author = {Goldblatt, R.},
  title = {Topoi: The Categorical Analysis of Logic},
  year = {1984},
  publisher = {Elsevier},
  series = {Stud. Logic Found. Math.},
  volume = {98}}

@book{moerdijk-maclane:sheaves-logic,
  author = {Mac Lane, S. and Moerdijk, I.},
  title = {Sheaves in Geometry and Logic: a First Introduction to Topos Theory},
  publisher = {Springer},
  series = {Universitext},
  year = {1992}}

@inproceedings{feferman:zfcs,
  title = {Set-theoretical foundations of category theory},
  author = {Feferman, S.},
  booktitle = {Reports of the Midwest Category Seminar III},
  series = {Lecture Notes in Math.},
  volume = {106},
  pages = {201--247},
  publisher = {Springer},
  year = {1969}}

@unpublished{shulman:sets,
  author = {Shulman, M.},
  title = {Set theory for category theory},
  year = {2008},
  url = {https://arxiv.org/abs/0810.1279}}

@article{aczel:rrs,
  title = {The relation reflection scheme},
  author = {Aczel, P.},
  journal = {MLQ Math. Log. Q.},
  volume = {54},
  number = {1},
  pages = {5--11},
  year = {2008}}

@unpublished{palmgren:mdc,
  title = {A small variation of Aczel's relation reflection scheme},
  author = {Palmgren, E.},
  year = {2007},
  url = {http://www2.math.uu.se/~palmgren/MVDC.pdf}}

@article{aczel:sets-as-trees,
  title = {The type theoretic interpretation of constructive set theory},
  author = {Aczel, P.},
  journal = {Stud. Logic Found. Math.},
  volume = {96},
  year = {1978},
  pages = {55--66}}

@phdthesis{blechschmidt:phd,
  author = {Blechschmidt, I.},
  title = {Using the internal language of toposes in algebraic geometry},
  year = {2017},
  school = {University of Augsburg},
  url = {https://rawgit.com/iblech/internal-methods/master/notes.pdf}}

@book{aczel-rathjen:cst,
  author = {Aczel, P. and Rathjen, M.},
  title = {Constructive set theory (book draft)},
  year = {2010},
  url = {https://www1.maths.leeds.ac.uk/~rathjen/book.pdf}}

@phdthesis{ziegler:phd,
  author = {Ziegler, A.},
  title = {Large sets in constructive set theory},
  institution = {University of Leeds},
  year = {2014},
  url = {https://etheses.whiterose.ac.uk/8370/}}

@incollection{crosilla:cst-izf,
  author = {Crosilla, L.},
  title  = {Set theory: constructive and intuitionistic {ZF}},
  booktitle = {The Stanford Encyclopedia of Philosophy},
  editor = {Zalta, E.},
  url = {https://plato.stanford.edu/archives/sum2015/entries/set-theory-constructive/},
  year = {2015},
  publisher = {Metaphysics Research Lab, Stanford University}}

@article{streicher:forcizf,
  author = {Streicher, T.},
  title = {Forcing for $\IZF$ in sheaf toposes},
  journal = {Georgian Math. J.},
  year = {2009},
  volume = {16},
  issue = {1},
  pages = {203--209}}

@inproceedings{hayashi:izf,
  author = {Hayashi, S.},
  title = {On set theories in toposes},
  booktitle = {Logic Symposia Hakone 1979, 1980},
  editor = {Müller, G. and Takeuti, G. and Tugué, T.},
  series = {Lecture Notes in Math.},
  volume = {891},
  year = {1981},
  pages = {23--29}}

@article{fourman:izf,
  author = {Fourman, M.},
  title = {Sheaf models for set theory},
  journal = {J. Pure Appl. Algebra},
  volume = {19},
  pages = {91--101},
  year = {1980}}