Constructive set theory (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Constructive set theory" in English language version.

refsWebsite

Global rank English rank

6arxiv.org

69^th place

59^th place

4doi.org

2^nd place

2books.google.com

3^rd place

2springer.com

274^th place

309^th place

2uni-saarland.de

low place

2leeds.ac.uk

5,235^th place

3,879^th place

1stanford.edu

179^th place

183^rd place

1web.archive.org

1^st place

1uwo.ca

5,491^st place

3,397^th place

1semanticscholar.org

11^th place

8^th place

1unipa.it

low place

1whiterose.ac.uk

4,124^th place

2,320^th place

1uva.nl

3,518^th place

2,652^nd place

1zbmath.org

1,923^rd place

1,068^th place

1psu.edu

207^th place

136^th place

1logicmatters.net

low place

1ams.org

451^st place

277^th place

1core.ac.uk

1,734^th place

1,312^th place

1cambridge.org

305^th place

264^th place

ams.org

mathscinet.ams.org

Smith, Peter (2007). An introduction to Gödel's Theorems (PDF). Cambridge, U.K.: Cambridge University Press. ISBN 978-0-521-67453-9. MR 2384958., p. 297

arxiv.org

Jeon, Hanul (2022), "Constructive Ackermann's interpretation", Annals of Pure and Applied Logic, 173 (5): 103086, arXiv:2010.04270, doi:10.1016/j.apal.2021.103086, S2CID 222271938
Diener, Hannes (2020). "Constructive Reverse Mathematics". arXiv:1804.05495 [math.LO].
Pradic, Cécilia; Brown, Chad E. (2019). "Cantor-Bernstein implies Excluded Middle". arXiv:1904.09193 [math.LO].
Gitman, Victoria (2011), What is the theory ZFC without power set, arXiv:1110.2430
Shulman, Michael (2019), "Comparing material and structural set theories", Annals of Pure and Applied Logic, 170 (4): 465-504, arXiv:1808.05204, doi:10.1016/j.apal.2018.11.002
Robert S. Lubarsky, On the Cauchy Completeness of the Constructive Cauchy Reals, July 2015

books.google.com

Feferman, Solomon (1998), In the Light of Logic, New York: Oxford University Press, pp. 280–283, 293–294, ISBN 0-195-08030-0
Jech, Thomas (2003), Set Theory, Springer Monographs in Mathematics (Third Millennium ed.), Berlin, New York: Springer-Verlag, p. 642, ISBN 978-3-540-44085-7, Zbl 1007.03002

cambridge.org

Lindström, Ingrid: 1989. A construction of non-well-founded sets within Martin-Löf type theory. Journal of Symbolic Logic 54: 57–64.

core.ac.uk

Matthew Ralph John Hendtlass, Constructing fixed points and economic equilibria, PhD Thesis, University of Leeds, April 2013

doi.org

Jeon, Hanul (2022), "Constructive Ackermann's interpretation", Annals of Pure and Applied Logic, 173 (5): 103086, arXiv:2010.04270, doi:10.1016/j.apal.2021.103086, S2CID 222271938
Shapiro, S., McCarty, C. & Rathjen, M., Intuitionistic sets and numbers: small set theory and Heyting arithmetic, https://doi.org/10.1007/s00153-024-00935-4, Arch. Math. Logic (2024)
Gambino, N. (2005). "Presheaf models for constructive set theories" (PDF). In Laura Crosilla and Peter Schuster (ed.). From Sets and Types to Topology and Analysis (PDF). pp. 62–96. doi:10.1093/acprof:oso/9780198566519.003.0004. ISBN 9780198566519.
Shulman, Michael (2019), "Comparing material and structural set theories", Annals of Pure and Applied Logic, 170 (4): 465-504, arXiv:1808.05204, doi:10.1016/j.apal.2018.11.002

leeds.ac.uk

www1.maths.leeds.ac.uk

Michael Rathjen, Choice principles in constructive and classical set theories, Cambridge University Press: 31 March 2017
Rathjen, M. (2004), "Predicativity, Circularity, and Anti-Foundation" (PDF), in Link, Godehard (ed.), One Hundred Years of Russell ́s Paradox: Mathematics, Logic, Philosophy, Walter de Gruyter, ISBN 978-3-11-019968-0

logicmatters.net

Smith, Peter (2007). An introduction to Gödel's Theorems (PDF). Cambridge, U.K.: Cambridge University Press. ISBN 978-0-521-67453-9. MR 2384958., p. 297

psu.edu

citeseerx.ist.psu.edu

Sørenson, Morten; Urzyczyn, Paweł (1998), Lectures on the Curry-Howard Isomorphism, CiteSeerX 10.1.1.17.7385, p. 239

semanticscholar.org

api.semanticscholar.org

Jeon, Hanul (2022), "Constructive Ackermann's interpretation", Annals of Pure and Applied Logic, 173 (5): 103086, arXiv:2010.04270, doi:10.1016/j.apal.2021.103086, S2CID 222271938

springer.com

link.springer.com

Myhill, "Some properties of Intuitionistic Zermelo-Fraenkel set theory", Proceedings of the 1971 Cambridge Summer School in Mathematical Logic (Lecture Notes in Mathematics 337) (1973) pp. 206-231
Shapiro, S., McCarty, C. & Rathjen, M., Intuitionistic sets and numbers: small set theory and Heyting arithmetic, https://doi.org/10.1007/s00153-024-00935-4, Arch. Math. Logic (2024)

stanford.edu

plato.stanford.edu

Crosilla, Laura; Set Theory: Constructive and Intuitionistic ZF; Stanford Encyclopedia of Philosophy; 2009

uni-saarland.de

ps.uni-saarland.de

Gert Smolka, Set Theory in Type Theory, Lecture Notes, Saarland University, Jan. 2015
Gert Smolka and Kathrin Stark, Hereditarily Finite Sets in Constructive Type Theory, Proc. of ITP 2016, Nancy, France, Springer LNCS, May 2015

unipa.it

math.unipa.it

Gambino, N. (2005). "Presheaf models for constructive set theories" (PDF). In Laura Crosilla and Peter Schuster (ed.). From Sets and Types to Topology and Analysis (PDF). pp. 62–96. doi:10.1093/acprof:oso/9780198566519.003.0004. ISBN 9780198566519.

uva.nl

staff.fnwi.uva.nl

Benno van den Berg, Predicative topos theory and models for constructive set theory, Netherlands University, PhD thesis, 2006

uwo.ca

publish.uwo.ca

John L. Bell, Intuitionistic Set Theorys, 2018

web.archive.org

Peter Aczel and Michael Rathjen, Notes on Constructive Set Theory, Reports Institut Mittag-Leffler, Mathematical Logic - 2000/2001, No. 40

whiterose.ac.uk

eprints.whiterose.ac.uk

Gambino, N. (2005). "Presheaf models for constructive set theories" (PDF). In Laura Crosilla and Peter Schuster (ed.). From Sets and Types to Topology and Analysis (PDF). pp. 62–96. doi:10.1093/acprof:oso/9780198566519.003.0004. ISBN 9780198566519.

zbmath.org

Jech, Thomas (2003), Set Theory, Springer Monographs in Mathematics (Third Millennium ed.), Berlin, New York: Springer-Verlag, p. 642, ISBN 978-3-540-44085-7, Zbl 1007.03002