Matches in SemOpenAlex for { <https://semopenalex.org/work/W3128367099> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W3128367099 abstract "We describe a formal proof of the independence of the continuum hypothesis ($mathsf{CH}$) in the Lean theorem prover. We use Boolean-valued models to give forcing arguments for both directions, using Cohen forcing for the consistency of $neg mathsf{CH}$ and a $sigma$-closed forcing for the consistency of $mathsf{CH}$." @default.
- W3128367099 created "2021-02-15" @default.
- W3128367099 creator A5025285284 @default.
- W3128367099 creator A5086583628 @default.
- W3128367099 date "2020-01-20" @default.
- W3128367099 modified "2023-09-24" @default.
- W3128367099 title "A formal proof of the independence of the continuum hypothesis" @default.
- W3128367099 cites W1464569014 @default.
- W3128367099 cites W1517446920 @default.
- W3128367099 cites W1521372188 @default.
- W3128367099 cites W1591830785 @default.
- W3128367099 cites W1647170492 @default.
- W3128367099 cites W1767356134 @default.
- W3128367099 cites W1968724907 @default.
- W3128367099 cites W1970364998 @default.
- W3128367099 cites W2013515339 @default.
- W3128367099 cites W2022040382 @default.
- W3128367099 cites W2043693029 @default.
- W3128367099 cites W2073127449 @default.
- W3128367099 cites W2082393081 @default.
- W3128367099 cites W2088381392 @default.
- W3128367099 cites W2115456387 @default.
- W3128367099 cites W2154189201 @default.
- W3128367099 cites W2484880499 @default.
- W3128367099 cites W2753707546 @default.
- W3128367099 cites W3040288220 @default.
- W3128367099 cites W3099960354 @default.
- W3128367099 cites W4213174560 @default.
- W3128367099 cites W4236119664 @default.
- W3128367099 cites W4237616944 @default.
- W3128367099 cites W580391459 @default.
- W3128367099 cites W649400686 @default.
- W3128367099 doi "https://doi.org/10.1145/3372885.3373826" @default.
- W3128367099 hasPublicationYear "2020" @default.
- W3128367099 type Work @default.
- W3128367099 sameAs 3128367099 @default.
- W3128367099 citedByCount "8" @default.
- W3128367099 countsByYear W31283670992020 @default.
- W3128367099 countsByYear W31283670992021 @default.
- W3128367099 countsByYear W31283670992022 @default.
- W3128367099 countsByYear W31283670992023 @default.
- W3128367099 crossrefType "proceedings-article" @default.
- W3128367099 hasAuthorship W3128367099A5025285284 @default.
- W3128367099 hasAuthorship W3128367099A5086583628 @default.
- W3128367099 hasBestOaLocation W31283670992 @default.
- W3128367099 hasConcept C105795698 @default.
- W3128367099 hasConcept C108710211 @default.
- W3128367099 hasConcept C11413529 @default.
- W3128367099 hasConcept C118615104 @default.
- W3128367099 hasConcept C121332964 @default.
- W3128367099 hasConcept C134306372 @default.
- W3128367099 hasConcept C197115733 @default.
- W3128367099 hasConcept C206880738 @default.
- W3128367099 hasConcept C2318724 @default.
- W3128367099 hasConcept C2524010 @default.
- W3128367099 hasConcept C2776436953 @default.
- W3128367099 hasConcept C2778049214 @default.
- W3128367099 hasConcept C33923547 @default.
- W3128367099 hasConcept C35651441 @default.
- W3128367099 hasConcept C62520636 @default.
- W3128367099 hasConcept C94461902 @default.
- W3128367099 hasConceptScore W3128367099C105795698 @default.
- W3128367099 hasConceptScore W3128367099C108710211 @default.
- W3128367099 hasConceptScore W3128367099C11413529 @default.
- W3128367099 hasConceptScore W3128367099C118615104 @default.
- W3128367099 hasConceptScore W3128367099C121332964 @default.
- W3128367099 hasConceptScore W3128367099C134306372 @default.
- W3128367099 hasConceptScore W3128367099C197115733 @default.
- W3128367099 hasConceptScore W3128367099C206880738 @default.
- W3128367099 hasConceptScore W3128367099C2318724 @default.
- W3128367099 hasConceptScore W3128367099C2524010 @default.
- W3128367099 hasConceptScore W3128367099C2776436953 @default.
- W3128367099 hasConceptScore W3128367099C2778049214 @default.
- W3128367099 hasConceptScore W3128367099C33923547 @default.
- W3128367099 hasConceptScore W3128367099C35651441 @default.
- W3128367099 hasConceptScore W3128367099C62520636 @default.
- W3128367099 hasConceptScore W3128367099C94461902 @default.
- W3128367099 hasLocation W31283670991 @default.
- W3128367099 hasLocation W31283670992 @default.
- W3128367099 hasOpenAccess W3128367099 @default.
- W3128367099 hasPrimaryLocation W31283670991 @default.
- W3128367099 hasRelatedWork W1487452055 @default.
- W3128367099 hasRelatedWork W1560115124 @default.
- W3128367099 hasRelatedWork W1562743487 @default.
- W3128367099 hasRelatedWork W162868652 @default.
- W3128367099 hasRelatedWork W1825610764 @default.
- W3128367099 hasRelatedWork W2755232768 @default.
- W3128367099 hasRelatedWork W3026697850 @default.
- W3128367099 hasRelatedWork W3128367099 @default.
- W3128367099 hasRelatedWork W84048956 @default.
- W3128367099 hasRelatedWork W2491370528 @default.
- W3128367099 isParatext "false" @default.
- W3128367099 isRetracted "false" @default.
- W3128367099 magId "3128367099" @default.
- W3128367099 workType "article" @default.