Matches in SemOpenAlex for { <https://semopenalex.org/work/W3183764035> ?p ?o ?g. }
- W3183764035 endingPage "305" @default.
- W3183764035 startingPage "283" @default.
- W3183764035 abstract "This paper argues that, insofar as we doubt the bivalence of the Continuum Hypothesis or the truth of the Axiom of Choice, we should also doubt the consistency of third-order arithmetic, both the classical and intuitionistic versions. Underlying this argument is the following philosophical view. Mathematical belief springs from certain intuitions, each of which can be either accepted or doubted in its entirety, but not half-accepted. Therefore, our beliefs about reality, bivalence, choice and consistency should all be aligned." @default.
- W3183764035 created "2021-08-02" @default.
- W3183764035 creator A5041447634 @default.
- W3183764035 date "2022-06-30" @default.
- W3183764035 modified "2023-10-18" @default.
- W3183764035 title "The Price of Mathematical Scepticism" @default.
- W3183764035 cites W1435886270 @default.
- W3183764035 cites W1485672136 @default.
- W3183764035 cites W1525064220 @default.
- W3183764035 cites W1616114834 @default.
- W3183764035 cites W1972672801 @default.
- W3183764035 cites W1976751597 @default.
- W3183764035 cites W1985234321 @default.
- W3183764035 cites W1992204806 @default.
- W3183764035 cites W2009247993 @default.
- W3183764035 cites W2015486597 @default.
- W3183764035 cites W2017260083 @default.
- W3183764035 cites W2020914516 @default.
- W3183764035 cites W2033086528 @default.
- W3183764035 cites W2034249254 @default.
- W3183764035 cites W2038831710 @default.
- W3183764035 cites W2040404640 @default.
- W3183764035 cites W2073171092 @default.
- W3183764035 cites W2076638174 @default.
- W3183764035 cites W2092977348 @default.
- W3183764035 cites W2110594884 @default.
- W3183764035 cites W2115180638 @default.
- W3183764035 cites W2123497262 @default.
- W3183764035 cites W2162977350 @default.
- W3183764035 cites W2186740033 @default.
- W3183764035 cites W2317827185 @default.
- W3183764035 cites W2318031348 @default.
- W3183764035 cites W2320035513 @default.
- W3183764035 cites W2333314174 @default.
- W3183764035 cites W2345339032 @default.
- W3183764035 cites W2345668147 @default.
- W3183764035 cites W2477347675 @default.
- W3183764035 cites W2483582517 @default.
- W3183764035 cites W2484792804 @default.
- W3183764035 cites W2561497399 @default.
- W3183764035 cites W2564023063 @default.
- W3183764035 cites W2574224636 @default.
- W3183764035 cites W2770733485 @default.
- W3183764035 cites W2908793148 @default.
- W3183764035 cites W2963313948 @default.
- W3183764035 cites W2988412412 @default.
- W3183764035 cites W3100822615 @default.
- W3183764035 cites W3167024786 @default.
- W3183764035 cites W328150321 @default.
- W3183764035 cites W4232166111 @default.
- W3183764035 cites W4236347697 @default.
- W3183764035 cites W4236810859 @default.
- W3183764035 cites W4243686683 @default.
- W3183764035 cites W4245343398 @default.
- W3183764035 cites W4248032712 @default.
- W3183764035 cites W4249594517 @default.
- W3183764035 cites W656709765 @default.
- W3183764035 doi "https://doi.org/10.1093/philmat/nkac011" @default.
- W3183764035 hasPublicationYear "2022" @default.
- W3183764035 type Work @default.
- W3183764035 sameAs 3183764035 @default.
- W3183764035 citedByCount "0" @default.
- W3183764035 crossrefType "journal-article" @default.
- W3183764035 hasAuthorship W3183764035A5041447634 @default.
- W3183764035 hasBestOaLocation W31837640352 @default.
- W3183764035 hasConcept C111472728 @default.
- W3183764035 hasConcept C118615104 @default.
- W3183764035 hasConcept C138885662 @default.
- W3183764035 hasConcept C144237770 @default.
- W3183764035 hasConcept C167729594 @default.
- W3183764035 hasConcept C18296254 @default.
- W3183764035 hasConcept C185592680 @default.
- W3183764035 hasConcept C199343813 @default.
- W3183764035 hasConcept C2524010 @default.
- W3183764035 hasConcept C2776436953 @default.
- W3183764035 hasConcept C2777686260 @default.
- W3183764035 hasConcept C33923547 @default.
- W3183764035 hasConcept C55493867 @default.
- W3183764035 hasConcept C71924100 @default.
- W3183764035 hasConcept C98184364 @default.
- W3183764035 hasConceptScore W3183764035C111472728 @default.
- W3183764035 hasConceptScore W3183764035C118615104 @default.
- W3183764035 hasConceptScore W3183764035C138885662 @default.
- W3183764035 hasConceptScore W3183764035C144237770 @default.
- W3183764035 hasConceptScore W3183764035C167729594 @default.
- W3183764035 hasConceptScore W3183764035C18296254 @default.
- W3183764035 hasConceptScore W3183764035C185592680 @default.
- W3183764035 hasConceptScore W3183764035C199343813 @default.
- W3183764035 hasConceptScore W3183764035C2524010 @default.
- W3183764035 hasConceptScore W3183764035C2776436953 @default.
- W3183764035 hasConceptScore W3183764035C2777686260 @default.
- W3183764035 hasConceptScore W3183764035C33923547 @default.
- W3183764035 hasConceptScore W3183764035C55493867 @default.
- W3183764035 hasConceptScore W3183764035C71924100 @default.
- W3183764035 hasConceptScore W3183764035C98184364 @default.
- W3183764035 hasIssue "3" @default.
- W3183764035 hasLocation W31837640351 @default.
- W3183764035 hasLocation W31837640352 @default.