Topological models are sometimes used to prove independence results in constructive mathematics. Here we show that some of the topologies that have been used are necessary for those results.
H.Diener and R.Lubarsky, Separating the Fan Theorem and its weakenings, Journal of Symbolic Logic79(3) (2014), 792–813. doi:10.1017/jsl.2014.9.
2.
R.Engelking, General Topology, Heldermann Verlag, Berlin, 1989.
3.
M.P.Fourman and J.M.E.Hyland, Sheaf models for analysis, in: Applications of Sheaves, M.P.Fourman, C.J.Mulvey and D.S.Scott, eds, Lecture Notes in Mathematics, Vol. 753, Springer-Verlag, Berlin, Heidelberg, New York, 1979, pp. 280–301. doi:10.1007/BFb0061823.
4.
R.J.Grayson, Heyting-valued semantics, in: Logic Colloquium ’82, Studies in Logic and the Foundations of Mathematics, Vol. 112, North Holland, 1984, pp. 181–208. doi:10.1016/S0049-237X(08)71817-2.
5.
M.Hendtlass and R.Lubarsky, Separating fragments of WLEM, LPO, and MP, Journal of Symbolic Logic81(4) (2016), 1315–1343. doi:10.1017/jsl.2016.38.
H.Ishihara, Continuity and nondiscontinuity in constructive mathematics, Journal of Symbolic Logic56 (1991), 1349–1354. doi:10.2307/2275479.
8.
H.Ishihara, Continuity properties in constructive mathematics, Journal of Symbolic Logic57 (1992), 557–565. doi:10.2307/2275292.
9.
H.Ishihara and P.Schuster, A continuity principle, a version of Baire’s theorem and a boundedness principle, Journal of Symbolic Logic73 (2008), 1354–1360. doi:10.2178/jsl/1230396924.
10.
T.Jech, Set Theory, 3rd edn, Springer Monographs in Mathematics, Springer, 2006.
11.
J.-L.Krivine, Typed lambda-calculus in classical Zermelo–Fraenkel set theory, Archive for Mathematical Logic40(3) (2001), 189–205. doi:10.1007/s001530000057.
12.
J.-L.Krivine, Dependent choice, ‘quote’ and the clock, Theoretical Computer Science308 (2003), 259–276. doi:10.1016/S0304-3975(02)00776-4.
13.
R.Lubarsky, On the Cauchy completeness of the constructive Cauchy reals, Mathematical Logic Quarterly53(4–5) (2007), 396–414. doi:10.1002/malq.200710007.
14.
R.Lubarsky, Geometric spaces with no points, Journal of Logic and Analysis2(6) (2010), 1–10, http://logicandanalysis.org/. doi:10.4115/jla.2010.2.6a.
15.
R.Lubarsky, On the failure of BD-N and BD, and an application to the anti-Specker property, Journal of Symbolic Logic78(1) (2013), 39–56. doi:10.2178/jsl.7801030.
16.
R.Lubarsky, Separating the Fan Theorem and its weakenings II, Journal of Symbolic Logic84 (2019), 1484–1509. doi:10.1017/jsl.2019.1.
17.
R.Lubarsky, On the necessity of some topological spaces, in: Revolutions and Revelations in Computability. Proceedings of CiE 2022, Lecture Notes in Computer Science, Vol. 13359, Springer, 2022, pp. 162–171.
