Hyperclass forcing in Morse-Kelley class theory
| Publikationstyp: | Zeitschriftenartikel |
| Publikationsstatus: | Published |
| Autor/innen: | Antos, Carolin; Friedman, Sy-David |
| Erscheinungsjahr: | 2017 |
| Erschienen in: | The Journal of Symbolic Logic ; 82 (2017), 2. - S. 549-575. - ISSN 0022-4812. - eISSN 1943-5886 |
| DOI (zitierfähiger Link): | https://dx.doi.org/10.1017/jsl.2016.74 |
| Fachgebiet (DDC): | 510 Mathematik |
| Universitätsbibliographie: | Ja |
Zitieren
Dateien zu dieser Ressource
| Dateien | Größe | Format | Anzeige |
|---|---|---|---|
|
Zu diesem Dokument gibt es keine Dateien. |
|||
ANTOS, Carolin, Sy-David FRIEDMAN, 2017. Hyperclass forcing in Morse-Kelley class theory. In: The Journal of Symbolic Logic. 82(2), pp. 549-575. ISSN 0022-4812. eISSN 1943-5886
@article{Antos2017-06-19Hyper-39496, title={Hyperclass forcing in Morse-Kelley class theory}, year={2017}, doi={10.1017/jsl.2016.74}, number={2}, volume={82}, issn={0022-4812}, journal={The Journal of Symbolic Logic}, pages={549--575}, author={Antos, Carolin and Friedman, Sy-David} }
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/39496"> <dc:creator>Antos, Carolin</dc:creator> <dc:contributor>Antos, Carolin</dc:contributor> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/39496"/> <dc:contributor>Friedman, Sy-David</dc:contributor> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2017-07-05T09:33:48Z</dcterms:available> <dcterms:issued>2017-06-19</dcterms:issued> <dc:creator>Friedman, Sy-David</dc:creator> <dc:language>eng</dc:language> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2017-07-05T09:33:48Z</dc:date> <dcterms:title>Hyperclass forcing in Morse-Kelley class theory</dcterms:title> </rdf:Description> </rdf:RDF>
Das Dokument erscheint in:
KOPS Suche
Stöbern
Mein Benutzerkonto
