On some peculiar aspects of the constructive theory of point‐free spaces | Zendy

Curi Giovanni | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Premium

On some peculiar aspects of the constructive theory of point‐free spaces

Author(s) -

Curi Giovanni

Publication year - 2010

Publication title -

mathematical logic quarterly

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.473

H-Index - 28

eISSN - 1521-3870

pISSN - 0942-5616

DOI - 10.1002/malq.200910037

Subject(s) - predicative expression , topos theory , constructive , consistency (knowledge bases) , mathematics , independence (probability theory) , type theory , constructive set theory , set theory , pure mathematics , point (geometry) , set (abstract data type) , calculus (dental) , algebra over a field , epistemology , mathematical economics , type (biology) , discrete mathematics , axiom of choice , computer science , linguistics , philosophy , geometry , statistics , art , ecology , literature , biology , operating system , programming language , dentistry , process (computing) , medicine

This paper presents several independence results concerning the topos‐valid 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 (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here

Accelerating Research