Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100963778> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W3100963778 endingPage "73" @default.
- W3100963778 startingPage "53" @default.
- W3100963778 abstract "Reinhardt's conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite induction just beyond the first epsilon number. We prove a weaker version of the conjecture, by elementary methods and transfinite induction up to a smaller ordinal." @default.
- W3100963778 created "2020-11-23" @default.
- W3100963778 creator A5016012515 @default.
- W3100963778 date "2013-12-28" @default.
- W3100963778 modified "2023-10-01" @default.
- W3100963778 title "Fast-Collapsing Theories" @default.
- W3100963778 cites W2011021254 @default.
- W3100963778 cites W2030437469 @default.
- W3100963778 cites W2031449549 @default.
- W3100963778 cites W2127352247 @default.
- W3100963778 cites W2334156613 @default.
- W3100963778 cites W2951208926 @default.
- W3100963778 cites W4229690001 @default.
- W3100963778 cites W4243357315 @default.
- W3100963778 cites W4255721438 @default.
- W3100963778 cites W992186155 @default.
- W3100963778 doi "https://doi.org/10.1007/s11225-013-9537-9" @default.
- W3100963778 hasPublicationYear "2013" @default.
- W3100963778 type Work @default.
- W3100963778 sameAs 3100963778 @default.
- W3100963778 citedByCount "3" @default.
- W3100963778 countsByYear W31009637782020 @default.
- W3100963778 countsByYear W31009637782021 @default.
- W3100963778 countsByYear W31009637782023 @default.
- W3100963778 crossrefType "journal-article" @default.
- W3100963778 hasAuthorship W3100963778A5016012515 @default.
- W3100963778 hasBestOaLocation W31009637782 @default.
- W3100963778 hasConcept C118615104 @default.
- W3100963778 hasConcept C136119220 @default.
- W3100963778 hasConcept C138885662 @default.
- W3100963778 hasConcept C144237770 @default.
- W3100963778 hasConcept C147358099 @default.
- W3100963778 hasConcept C154945302 @default.
- W3100963778 hasConcept C155092808 @default.
- W3100963778 hasConcept C202444582 @default.
- W3100963778 hasConcept C2777026412 @default.
- W3100963778 hasConcept C2780990831 @default.
- W3100963778 hasConcept C33923547 @default.
- W3100963778 hasConcept C41008148 @default.
- W3100963778 hasConcept C41895202 @default.
- W3100963778 hasConceptScore W3100963778C118615104 @default.
- W3100963778 hasConceptScore W3100963778C136119220 @default.
- W3100963778 hasConceptScore W3100963778C138885662 @default.
- W3100963778 hasConceptScore W3100963778C144237770 @default.
- W3100963778 hasConceptScore W3100963778C147358099 @default.
- W3100963778 hasConceptScore W3100963778C154945302 @default.
- W3100963778 hasConceptScore W3100963778C155092808 @default.
- W3100963778 hasConceptScore W3100963778C202444582 @default.
- W3100963778 hasConceptScore W3100963778C2777026412 @default.
- W3100963778 hasConceptScore W3100963778C2780990831 @default.
- W3100963778 hasConceptScore W3100963778C33923547 @default.
- W3100963778 hasConceptScore W3100963778C41008148 @default.
- W3100963778 hasConceptScore W3100963778C41895202 @default.
- W3100963778 hasIssue "1" @default.
- W3100963778 hasLocation W31009637781 @default.
- W3100963778 hasLocation W31009637782 @default.
- W3100963778 hasLocation W31009637783 @default.
- W3100963778 hasLocation W31009637784 @default.
- W3100963778 hasLocation W31009637785 @default.
- W3100963778 hasOpenAccess W3100963778 @default.
- W3100963778 hasPrimaryLocation W31009637781 @default.
- W3100963778 hasRelatedWork W1529715114 @default.
- W3100963778 hasRelatedWork W1996842796 @default.
- W3100963778 hasRelatedWork W2002209900 @default.
- W3100963778 hasRelatedWork W2011488868 @default.
- W3100963778 hasRelatedWork W2022017350 @default.
- W3100963778 hasRelatedWork W2024580304 @default.
- W3100963778 hasRelatedWork W2120826334 @default.
- W3100963778 hasRelatedWork W3038654277 @default.
- W3100963778 hasRelatedWork W3100963778 @default.
- W3100963778 hasRelatedWork W3105807034 @default.
- W3100963778 hasVolume "103" @default.
- W3100963778 isParatext "false" @default.
- W3100963778 isRetracted "false" @default.
- W3100963778 magId "3100963778" @default.
- W3100963778 workType "article" @default.