Proof-theoretic conservations of weak weak intuitionistic constructive set theories

Autor(en):

Gordeev, Lev

Tübinger Autor(en):

Erschienen in:

Annals of Pure and Applied Logic (2013), Bd. 164, H. SI, S. 1274-1292

Verlagsangabe:

Elsevier Science Bv

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

0168-0072

DDC-Klassifikation:

510 - Mathematik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: