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
Contact
Journal ISSN
Electronic ISSN
ISBN
Bibliographical data
Publisher
Series
URI (citable link)
DOI (citable link)
10.1017/jsl.2016.74
ArXiv-ID
International patent number
Link to the license
oops
EU project number
Project
Open Access publication
Collections
Philosophie
Mathematik und Statistik
Zukunftskolleg
Restricted until
Title in another language
Research Projects
Organizational Units
Journal Issue
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 690ANTOS, 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.74
BibTex
@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
Contact
URL of original publication
Test date of URL
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
Refereed