Matches in SemOpenAlex for { <https://semopenalex.org/work/W2886399789> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2886399789 abstract "We establish a precise relation between M, a subsystem of the formal axiomatic system of intuitionistic analysis FIM of S. C. Kleene, and elementary analysis EL of A. S. Troelstra, two weak formal systems of two-sorted intuitionistic arithmetic, both widely used as basis for (various forms of) constructive analysis. We show that EL is weaker than M, by introducing an axiom schema CF_d asserting that every decidable predicate of natural numbers has a characteristic function. By similar arguments, we compare some more systems of two-sorted intuitionistic arithmetic, including the formal theory BIM of W. Veldman." @default.
- W2886399789 created "2018-08-22" @default.
- W2886399789 creator A5028096973 @default.
- W2886399789 date "2018-08-01" @default.
- W2886399789 modified "2023-09-27" @default.
- W2886399789 title "A comparison of minimal systems for constructive analysis" @default.
- W2886399789 cites W1483568252 @default.
- W2886399789 cites W1556453281 @default.
- W2886399789 cites W1608607427 @default.
- W2886399789 cites W163054353 @default.
- W2886399789 cites W1965954744 @default.
- W2886399789 cites W1966245774 @default.
- W2886399789 cites W1973446732 @default.
- W2886399789 cites W1978256094 @default.
- W2886399789 cites W198178058 @default.
- W2886399789 cites W1982061352 @default.
- W2886399789 cites W1983523043 @default.
- W2886399789 cites W2057128962 @default.
- W2886399789 cites W2057631483 @default.
- W2886399789 cites W206109711 @default.
- W2886399789 cites W2062677359 @default.
- W2886399789 cites W2136762285 @default.
- W2886399789 hasPublicationYear "2018" @default.
- W2886399789 type Work @default.
- W2886399789 sameAs 2886399789 @default.
- W2886399789 citedByCount "1" @default.
- W2886399789 countsByYear W28863997892021 @default.
- W2886399789 crossrefType "posted-content" @default.
- W2886399789 hasAuthorship W2886399789A5028096973 @default.
- W2886399789 hasConcept C102315432 @default.
- W2886399789 hasConcept C118615104 @default.
- W2886399789 hasConcept C119857082 @default.
- W2886399789 hasConcept C136119220 @default.
- W2886399789 hasConcept C140146324 @default.
- W2886399789 hasConcept C153269930 @default.
- W2886399789 hasConcept C167729594 @default.
- W2886399789 hasConcept C184264201 @default.
- W2886399789 hasConcept C199343813 @default.
- W2886399789 hasConcept C199360897 @default.
- W2886399789 hasConcept C202444582 @default.
- W2886399789 hasConcept C2524010 @default.
- W2886399789 hasConcept C2777686260 @default.
- W2886399789 hasConcept C2778701210 @default.
- W2886399789 hasConcept C33923547 @default.
- W2886399789 hasConcept C41008148 @default.
- W2886399789 hasConcept C52146309 @default.
- W2886399789 hasConcept C71924100 @default.
- W2886399789 hasConcept C98045186 @default.
- W2886399789 hasConceptScore W2886399789C102315432 @default.
- W2886399789 hasConceptScore W2886399789C118615104 @default.
- W2886399789 hasConceptScore W2886399789C119857082 @default.
- W2886399789 hasConceptScore W2886399789C136119220 @default.
- W2886399789 hasConceptScore W2886399789C140146324 @default.
- W2886399789 hasConceptScore W2886399789C153269930 @default.
- W2886399789 hasConceptScore W2886399789C167729594 @default.
- W2886399789 hasConceptScore W2886399789C184264201 @default.
- W2886399789 hasConceptScore W2886399789C199343813 @default.
- W2886399789 hasConceptScore W2886399789C199360897 @default.
- W2886399789 hasConceptScore W2886399789C202444582 @default.
- W2886399789 hasConceptScore W2886399789C2524010 @default.
- W2886399789 hasConceptScore W2886399789C2777686260 @default.
- W2886399789 hasConceptScore W2886399789C2778701210 @default.
- W2886399789 hasConceptScore W2886399789C33923547 @default.
- W2886399789 hasConceptScore W2886399789C41008148 @default.
- W2886399789 hasConceptScore W2886399789C52146309 @default.
- W2886399789 hasConceptScore W2886399789C71924100 @default.
- W2886399789 hasConceptScore W2886399789C98045186 @default.
- W2886399789 hasLocation W28863997891 @default.
- W2886399789 hasOpenAccess W2886399789 @default.
- W2886399789 hasPrimaryLocation W28863997891 @default.
- W2886399789 hasRelatedWork W1518290936 @default.
- W2886399789 hasRelatedWork W1678894354 @default.
- W2886399789 hasRelatedWork W1977346948 @default.
- W2886399789 hasRelatedWork W1977940437 @default.
- W2886399789 hasRelatedWork W1984505680 @default.
- W2886399789 hasRelatedWork W1994999396 @default.
- W2886399789 hasRelatedWork W2057128962 @default.
- W2886399789 hasRelatedWork W2057631483 @default.
- W2886399789 hasRelatedWork W2080463847 @default.
- W2886399789 hasRelatedWork W2091271932 @default.
- W2886399789 hasRelatedWork W2281650882 @default.
- W2886399789 hasRelatedWork W2402236888 @default.
- W2886399789 hasRelatedWork W2773796638 @default.
- W2886399789 hasRelatedWork W2774125772 @default.
- W2886399789 hasRelatedWork W2905736373 @default.
- W2886399789 hasRelatedWork W3125454179 @default.
- W2886399789 hasRelatedWork W3183800913 @default.
- W2886399789 hasRelatedWork W630752320 @default.
- W2886399789 hasRelatedWork W997000086 @default.
- W2886399789 hasRelatedWork W2104312161 @default.
- W2886399789 isParatext "false" @default.
- W2886399789 isRetracted "false" @default.
- W2886399789 magId "2886399789" @default.
- W2886399789 workType "article" @default.