Matches in SemOpenAlex for { <https://semopenalex.org/work/W2966999886> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2966999886 abstract "This essay describes an approach to constructive mathematics based on abstract i.e. axiomatic mathematics. Rather than insisting on structures to be explicitly constructed, constructivity is defined by the sole requirement that proofs have computational content. It is shown that this approach is compatible with restricted forms of classical logic and choice principles." @default.
- W2966999886 created "2019-08-22" @default.
- W2966999886 creator A5005999573 @default.
- W2966999886 date "2019-01-01" @default.
- W2966999886 modified "2023-10-14" @default.
- W2966999886 title "On the Constructive and Computational Content of Abstract Mathematics" @default.
- W2966999886 cites W1525647423 @default.
- W2966999886 cites W1608607427 @default.
- W2966999886 cites W1988237188 @default.
- W2966999886 cites W2002359740 @default.
- W2966999886 cites W2031104901 @default.
- W2966999886 cites W2043566933 @default.
- W2966999886 cites W2076405698 @default.
- W2966999886 cites W2115456387 @default.
- W2966999886 cites W2162849813 @default.
- W2966999886 cites W2171729488 @default.
- W2966999886 cites W2296378459 @default.
- W2966999886 cites W2810388871 @default.
- W2966999886 cites W74548528 @default.
- W2966999886 doi "https://doi.org/10.1007/978-3-030-20447-1_6" @default.
- W2966999886 hasPublicationYear "2019" @default.
- W2966999886 type Work @default.
- W2966999886 sameAs 2966999886 @default.
- W2966999886 citedByCount "0" @default.
- W2966999886 crossrefType "book-chapter" @default.
- W2966999886 hasAuthorship W2966999886A5005999573 @default.
- W2966999886 hasConcept C108710211 @default.
- W2966999886 hasConcept C118615104 @default.
- W2966999886 hasConcept C134306372 @default.
- W2966999886 hasConcept C136119220 @default.
- W2966999886 hasConcept C145420912 @default.
- W2966999886 hasConcept C167729594 @default.
- W2966999886 hasConcept C199343813 @default.
- W2966999886 hasConcept C199360897 @default.
- W2966999886 hasConcept C202444582 @default.
- W2966999886 hasConcept C202854965 @default.
- W2966999886 hasConcept C2524010 @default.
- W2966999886 hasConcept C2777686260 @default.
- W2966999886 hasConcept C2778152352 @default.
- W2966999886 hasConcept C2778701210 @default.
- W2966999886 hasConcept C33923547 @default.
- W2966999886 hasConcept C41008148 @default.
- W2966999886 hasConcept C71924100 @default.
- W2966999886 hasConcept C98045186 @default.
- W2966999886 hasConceptScore W2966999886C108710211 @default.
- W2966999886 hasConceptScore W2966999886C118615104 @default.
- W2966999886 hasConceptScore W2966999886C134306372 @default.
- W2966999886 hasConceptScore W2966999886C136119220 @default.
- W2966999886 hasConceptScore W2966999886C145420912 @default.
- W2966999886 hasConceptScore W2966999886C167729594 @default.
- W2966999886 hasConceptScore W2966999886C199343813 @default.
- W2966999886 hasConceptScore W2966999886C199360897 @default.
- W2966999886 hasConceptScore W2966999886C202444582 @default.
- W2966999886 hasConceptScore W2966999886C202854965 @default.
- W2966999886 hasConceptScore W2966999886C2524010 @default.
- W2966999886 hasConceptScore W2966999886C2777686260 @default.
- W2966999886 hasConceptScore W2966999886C2778152352 @default.
- W2966999886 hasConceptScore W2966999886C2778701210 @default.
- W2966999886 hasConceptScore W2966999886C33923547 @default.
- W2966999886 hasConceptScore W2966999886C41008148 @default.
- W2966999886 hasConceptScore W2966999886C71924100 @default.
- W2966999886 hasConceptScore W2966999886C98045186 @default.
- W2966999886 hasLocation W29669998861 @default.
- W2966999886 hasOpenAccess W2966999886 @default.
- W2966999886 hasPrimaryLocation W29669998861 @default.
- W2966999886 hasRelatedWork W1573969001 @default.
- W2966999886 hasRelatedWork W2051684327 @default.
- W2966999886 hasRelatedWork W2257080944 @default.
- W2966999886 hasRelatedWork W2352606227 @default.
- W2966999886 hasRelatedWork W2767543552 @default.
- W2966999886 hasRelatedWork W2809765085 @default.
- W2966999886 hasRelatedWork W3097276150 @default.
- W2966999886 hasRelatedWork W4282964207 @default.
- W2966999886 hasRelatedWork W8130393 @default.
- W2966999886 hasRelatedWork W86824626 @default.
- W2966999886 isParatext "false" @default.
- W2966999886 isRetracted "false" @default.
- W2966999886 magId "2966999886" @default.
- W2966999886 workType "book-chapter" @default.