The natural numbers in constructive set theory | Zendy

Rathjen Michael | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Premium

The natural numbers in constructive set theory

Author(s) -

Rathjen Michael

Publication year - 2008

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.200710036

Subject(s) - constructive , mathematics , set (abstract data type) , natural number , set theory , natural (archaeology) , constructive proof , mathematical economics , discrete mathematics , calculus (dental) , algebra over a field , pure mathematics , computer science , process (computing) , medicine , archaeology , dentistry , history , programming language , operating system

Constructive set theory started with Myhill's seminal 1975 article [8]. This paper will be concerned with axiomatizations of the natural numbers in constructive set theory discerned in [3], clarifying the deductive relationships between these axiomatizations and the strength of various weak constructive set theories. (© 2008 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