DC Field
Value
Language
dc.contributor.author
Holy, Peter
-
dc.contributor.author
Schilhan, Jonathan
-
dc.date.accessioned
2026-01-14T18:23:14Z
-
dc.date.available
2026-01-14T18:23:14Z
-
dc.date.issued
2025-11-03
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Holy, P., &#38; Schilhan, J. (2025). The Ordering Principle and Dependent Choice. <i>Bulletin of Symbolic Logic</i>, 1–21. https://doi.org/10.1017/bsl.2025.10130</div> </div>
-
dc.identifier.issn
1079-8986
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/224432
-
dc.description.abstract
We introduce finite support iterations of symmetric systems, and use them to provide a strongly modernized proof of David Pincus’ classical result that the axiom of dependent choice is independent over ZF with the ordering principle together with a failure of the axiom of choice.
en
dc.language.iso
en
-
dc.publisher
CAMBRIDGE UNIV PRESS
-
dc.relation.ispartof
Bulletin of Symbolic Logic
-
dc.subject
Dependent Choice
en
dc.subject
Iterations
en
dc.subject
Ordering Principle
en
dc.subject
Symmetric extensions
en
dc.title
The Ordering Principle and Dependent Choice
en
dc.type
Article
en
dc.type
Artikel
de
dc.identifier.scopus
2-s2.0-105020788249
-
dc.identifier.url
https://api.elsevier.com/content/abstract/scopus_id/105020788249
-
dc.contributor.affiliation
University of Vienna, Austria
-
dc.description.startpage
1
-
dc.description.endpage
21
-
dc.type.category
Original Research Article
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
true
-
tuw.researchTopic.id
A3
-
tuw.researchTopic.name
Fundamental Mathematics Research
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
Bulletin of Symbolic Logic
-
tuw.publication.orgunit
E104-01 - Forschungsbereich Algebra
-
tuw.publisher.doi
10.1017/bsl.2025.10130
-
dc.date.onlinefirst
2025-11-03
-
dc.identifier.eissn
1943-5894
-
dc.description.numberOfPages
21
-
tuw.author.orcid
0000-0001-6696-1603
-
wb.sci
true
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
5
-
wb.sciencebranch.value
95
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.fulltext
no Fulltext
-
item.openairetype
research article
-
item.grantfulltext
none
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
crisitem.author.dept
E104-01 - Forschungsbereich Algebra
-
crisitem.author.dept
University of Vienna
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
-
Appears in Collections:
Article
Show simple item record

Google ScholarTM

Check