{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T20:58:40Z","timestamp":1770411520390,"version":"3.49.0"},"reference-count":34,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2010,7,12]],"date-time":"2010-07-12T00:00:00Z","timestamp":1278892800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2010,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper presents several independence results concerning the topos\u2010valid and the intuitionistic (generalised) predicative theory of locales. In particular, certain consequences of the consistency of a general form of Troelstra's uniformity principle with constructive set theory and type theory are examined (\u00a9 2010 WILEY\u2010VCH Verlag GmbH &amp; Co. KGaA, Weinheim)<\/jats:p>","DOI":"10.1002\/malq.200910037","type":"journal-article","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T18:27:36Z","timestamp":1279045656000},"page":"375-387","source":"Crossref","is-referenced-by-count":7,"title":["On some peculiar aspects of the constructive theory of point\u2010free spaces"],"prefix":"10.1002","volume":"56","author":[{"given":"Giovanni","family":"Curi","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2010,7,12]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2005.05.016"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2009.03.005"},{"key":"e_1_2_1_4_2","unstructured":"P.Aczel andM.Rathjen Notes on Constructive Set Theory. Mittag\u2010Leffler Technical Report No. 40 (2000\/2001)."},{"key":"e_1_2_1_5_2","unstructured":"B.van den Berg Predicative topos theory and models for constructive set theory. PhD thesis (University of Utrecht 2006)."},{"key":"e_1_2_1_6_2","unstructured":"B.van den Berg andI.Moerdijk Aspects of predicative algebraic set theory II: realizability. Theoret. Comput. Sci. to appear. [Available from:http:\/\/arxiv.org\/abs\/0801.2305]."},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.2307\/2275174"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005627"},{"key":"e_1_2_1_9_2","unstructured":"T.Coquand P.Dybjer E.Palmgren andA.Setzer Type\u2010theoretic foundation of constructive mathematics. In preparation."},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.2307\/2586694"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(03)00052-6"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2006.12.004"},{"key":"e_1_2_1_13_2","unstructured":"G.Curi On the existence of Stone\u2010\u010cech compactification. J. Symbolic Logic to appear."},{"key":"e_1_2_1_14_2","doi-asserted-by":"crossref","unstructured":"M.Fourman andR.Grayson Formal Spaces. In: The L. E. J. Brouwer Centenary Symposium (A. S. Troelstra and D. van Dalen eds.) pp. 107\u2013122 (North Holland 1982).","DOI":"10.1016\/S0049-237X(09)70126-0"},{"key":"e_1_2_1_15_2","doi-asserted-by":"crossref","unstructured":"M.Fourman andD. S.Scott Sheaves and logic. In: Applications of Sheaves Lecture Notes in Mathematics Vol. 753 (M. Fourman et al eds.) pp. 302\u2013401 (Springer\u2010Verlag 1979).","DOI":"10.1007\/BFb0061824"},{"key":"e_1_2_1_16_2","unstructured":"N.Gambino Sheaf interpretations for generalised predicative intuitionistic systems. Ph. D. thesis (University of Manchester 2002)."},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2005.05.021"},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.2307\/2273459"},{"key":"e_1_2_1_19_2","doi-asserted-by":"crossref","unstructured":"P. T.Johnstone Conditions related to De Morgan's law. In: Applications of Sheaves Lecture Notes in Mathematics Vol. 753 (M. Fourman et al eds.) pp. 479\u2013491 (Springer\u2010Verlag 1979).","DOI":"10.1007\/BFb0061829"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(80)90100-0"},{"key":"e_1_2_1_21_2","unstructured":"P. T.Johnstone Stone Spaces (Cambridge University Press 1982)."},{"key":"e_1_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1983-15080-2"},{"key":"e_1_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/030\/749770"},{"key":"e_1_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2005.07.002"},{"key":"e_1_2_1_25_2","unstructured":"S.MacLane andI.Moerdijk Sheaves in Geometry and Logic \u2010 A First Introduction to Topos Theory (Springer 1992)."},{"key":"e_1_2_1_26_2","unstructured":"P.Martin\u2010L\u00f6f Intuitionistic Type Theory. Studies in Proof Theory (Bibliopolis 1984)."},{"key":"e_1_2_1_27_2","unstructured":"B.N\u00f6rdstrom K.Peterson andJ.Smith Programming in Martin\u2010L\u00f6f's Type Theory (Clarendon Press 1990)."},{"key":"e_1_2_1_28_2","doi-asserted-by":"crossref","unstructured":"E.Palmgren Predicativity problems in point\u2010free topology. In: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic held in Helsinki Finland August 14\u201320 2003 Lecture Notes in Logic24 ASL (V. Stoltenberg\u2010Hansen et al eds.) pp. 221\u2013231 (AK Peters Ltd 2006).","DOI":"10.1201\/9781439865835-11"},{"key":"e_1_2_1_29_2","unstructured":"B.Petit Polymorphic type theory and Uniformity Principle. Preprint."},{"key":"e_1_2_1_30_2","doi-asserted-by":"crossref","unstructured":"M.Rathjen Realizabiity for constructive Zermelo\u2010Fraenkel set theory. In: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic held in Helsinki Finland August 14\u201320 2003 Lecture Notes in Logic24 ASL (V. Stoltenberg\u2010Hansen et al eds.) pp. 282\u2013314 (AK Peters Ltd 2006).","DOI":"10.1201\/9781439865835-14"},{"key":"e_1_2_1_31_2","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054190000242"},{"key":"e_1_2_1_32_2","doi-asserted-by":"crossref","unstructured":"G.Sambin Intuitionistic formal spaces \u2013 a first communication. In: Mathematical Logic and its Applications (D. Skordev ed.) pp. 187\u2013204 (Plenum 1987).","DOI":"10.1007\/978-1-4613-0897-3_12"},{"key":"e_1_2_1_33_2","doi-asserted-by":"publisher","DOI":"10.2307\/2275761"},{"key":"e_1_2_1_34_2","unstructured":"T.Streicher Realizabiity models for CZF+ \u00ac Pow. Unpublished note."},{"key":"e_1_2_1_35_2","unstructured":"A.Troelstra andD.van Dalen Constructivism in Mathematics An Introduction Volumes I II. Studies in logic and the foundation of mathematics121 123(North\u2010Holland 1988)."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200910037","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200910037","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.200910037","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T06:27:18Z","timestamp":1697437638000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200910037"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,12]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["10.1002\/malq.200910037"],"URL":"https:\/\/doi.org\/10.1002\/malq.200910037","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7,12]]}}}