Generalized Effective Reducibility

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

CARL, Merlin, 2016. Generalized Effective Reducibility. 12th Conference on Computability in Europe, CiE 2016. Paris, Jun 27, 2016 - Jul 1, 2016. In: BECKMANN, Arnold, ed. and others. Pursuit of the Universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016; Proceedings. Cham:Springer, pp. 225-233. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-40188-1. Available under: doi: 10.1007/978-3-319-40189-8_23

@inproceedings{Carl2016-06-14Gener-39703, title={Generalized Effective Reducibility}, year={2016}, doi={10.1007/978-3-319-40189-8_23}, number={9709}, isbn={978-3-319-40188-1}, issn={0302-9743}, address={Cham}, publisher={Springer}, series={Lecture Notes in Computer Science}, booktitle={Pursuit of the Universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016; Proceedings}, pages={225--233}, editor={Beckmann, Arnold}, author={Carl, Merlin} }

<rdf:RDF xmlns:dcterms="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <dc:language>eng</dc:language> <dspace:isPartOfCollection rdf:resource=""/> <dc:creator>Carl, Merlin</dc:creator> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:isPartOf rdf:resource=""/> <dcterms:abstract xml:lang="eng">We introduce two notions of effective reducibility for set-theoretical statements, based on computability with Ordinal Turing Machines (OTMs), one of which resembles Turing reducibility while the other is modelled after Weihrauch reducibility. We give sample applications by showing that certain (algebraic) constructions are not effective in the OTM-sense and considering the effective equivalence of various versions of the axiom of choice.</dcterms:abstract> <dc:contributor>Carl, Merlin</dc:contributor> <dcterms:available rdf:datatype="">2017-07-31T13:55:22Z</dcterms:available> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <bibo:uri rdf:resource=""/> <dc:date rdf:datatype="">2017-07-31T13:55:22Z</dc:date> <dcterms:issued>2016-06-14</dcterms:issued> <dcterms:title>Generalized Effective Reducibility</dcterms:title> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


My Account