D9493F03-A638-4DD9-9514-82CFD2A83D8AConstructive set theory: Models, independence results and mathematicsResearch GrantEP/G029520/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL1957737B66AF4B-80A0-4BF8-ABBF-905D80B2B14ESlow consistencyAnnals of Pure and Applied Logica10f83d8280f4d969b6eac8dd0d0bbb0Friedman S2013-01-01http://dx.doi.org/10.1016/j.apal.2012.11.009http://dx.doi.org/10.1016/j.apal.2012.11.0093Journal Article/Reviewdoi_53cfe3fe365d955b