Proof-theoretic conservations of weak weak intuitionistic constructive set theories

DSpace Repositorium (Manakin basiert)

Proof-theoretic conservations of weak weak intuitionistic constructive set theories

Autor(en): Gordeev, Lev
Tübinger Autor(en):
Gordeev, Lev
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: http://dx.doi.org/10.1016/j.apal.2013.06.012
ISSN: 0168-0072
DDC-Klassifikation: 510 - Mathematik
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: