Hyperclass forcing in Morse-Kelley class theory
Hyperclass forcing in Morse-Kelley class theory
No Thumbnail Available
Files
There are no files associated with this item.
Date
2017
Authors
Friedman, Sy-David
Editors
Journal ISSN
Electronic ISSN
ISBN
Bibliographical data
Publisher
Series
DOI (citable link)
International patent number
Link to the license
oops
EU project number
Project
Open Access publication
Title in another language
Publication type
Journal article
Publication status
Published
Published in
The Journal of Symbolic Logic ; 82 (2017), 2. - pp. 549-575. - ISSN 0022-4812. - eISSN 1943-5886
Abstract
Summary in another language
Subject (DDC)
510 Mathematics
Keywords
Conference
Review
undefined / . - undefined, undefined. - (undefined; undefined)
Cite This
ISO 690
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. Available under: doi: 10.1017/jsl.2016.74BibTex
@article{Antos2017-06-19Hyper-39496, year={2017}, doi={10.1017/jsl.2016.74}, title={Hyperclass forcing in Morse-Kelley class theory}, 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:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39496"> <dc:language>eng</dc:language> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2017-07-05T09:33:48Z</dc:date> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/52"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/52"/> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/39496"/> <dcterms:title>Hyperclass forcing in Morse-Kelley class theory</dcterms:title> <dc:contributor>Antos, Carolin</dc:contributor> <dc:contributor>Friedman, Sy-David</dc:contributor> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2017-07-05T09:33:48Z</dcterms:available> <dc:creator>Friedman, Sy-David</dc:creator> <dcterms:issued>2017-06-19</dcterms:issued> <foaf:homepage rdf:resource="http://localhost:8080/"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Antos, Carolin</dc:creator> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/> </rdf:Description> </rdf:RDF>
Internal note
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Examination date of dissertation
Method of financing
Comment on publication
Alliance license
Corresponding Authors der Uni Konstanz vorhanden
International Co-Authors
Bibliography of Konstanz
Yes