Matches in SemOpenAlex for { <https://semopenalex.org/work/W2281650882> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2281650882 abstract "Let ℐ be the system of analysis studied in [13]. ℐ’s language is two-sorted — with number variables x, y, z, … and choice-sequence variables α, β, γ, … — and has a constant for zero, symbols for certain primitive-recursive functions, an identity predicate in the number sort, and notation for γ-abstraction. Starting from two-sorted intuitionistic logic, ℐ adds axioms for Heyting arithmetic (HA), recursion equations for the primitive-recursive functions, certain “postulates concerning functions” [7, p. 14], and four axiom schemata described below: relativized dependent choice (RDC), monotone bar induction (BI M), weak continuity for numbers (WC-N), and Kripke’s schema (KS)." @default.
- W2281650882 created "2016-06-24" @default.
- W2281650882 creator A5080866603 @default.
- W2281650882 date "1993-01-01" @default.
- W2281650882 modified "2023-09-24" @default.
- W2281650882 title "The Disjunction and Numerical Existence Properties for Intuitionistic Analysis" @default.
- W2281650882 cites W115176759 @default.
- W2281650882 cites W1463047707 @default.
- W2281650882 cites W1580243564 @default.
- W2281650882 cites W2005370739 @default.
- W2281650882 cites W2013900439 @default.
- W2281650882 cites W2063491300 @default.
- W2281650882 doi "https://doi.org/10.1007/978-1-4612-0325-4_25" @default.
- W2281650882 hasPublicationYear "1993" @default.
- W2281650882 type Work @default.
- W2281650882 sameAs 2281650882 @default.
- W2281650882 citedByCount "0" @default.
- W2281650882 crossrefType "book-chapter" @default.
- W2281650882 hasAuthorship W2281650882A5080866603 @default.
- W2281650882 hasConcept C11413529 @default.
- W2281650882 hasConcept C118615104 @default.
- W2281650882 hasConcept C167729594 @default.
- W2281650882 hasConcept C168773036 @default.
- W2281650882 hasConcept C178421362 @default.
- W2281650882 hasConcept C2524010 @default.
- W2281650882 hasConcept C2834757 @default.
- W2281650882 hasConcept C33923547 @default.
- W2281650882 hasConcept C69562738 @default.
- W2281650882 hasConcept C88548561 @default.
- W2281650882 hasConcept C94375191 @default.
- W2281650882 hasConcept C9986523 @default.
- W2281650882 hasConceptScore W2281650882C11413529 @default.
- W2281650882 hasConceptScore W2281650882C118615104 @default.
- W2281650882 hasConceptScore W2281650882C167729594 @default.
- W2281650882 hasConceptScore W2281650882C168773036 @default.
- W2281650882 hasConceptScore W2281650882C178421362 @default.
- W2281650882 hasConceptScore W2281650882C2524010 @default.
- W2281650882 hasConceptScore W2281650882C2834757 @default.
- W2281650882 hasConceptScore W2281650882C33923547 @default.
- W2281650882 hasConceptScore W2281650882C69562738 @default.
- W2281650882 hasConceptScore W2281650882C88548561 @default.
- W2281650882 hasConceptScore W2281650882C94375191 @default.
- W2281650882 hasConceptScore W2281650882C9986523 @default.
- W2281650882 hasLocation W22816508821 @default.
- W2281650882 hasOpenAccess W2281650882 @default.
- W2281650882 hasPrimaryLocation W22816508821 @default.
- W2281650882 hasRelatedWork W144641616 @default.
- W2281650882 hasRelatedWork W1488569420 @default.
- W2281650882 hasRelatedWork W1496188934 @default.
- W2281650882 hasRelatedWork W1560329072 @default.
- W2281650882 hasRelatedWork W1595195464 @default.
- W2281650882 hasRelatedWork W2057128962 @default.
- W2281650882 hasRelatedWork W2057631483 @default.
- W2281650882 hasRelatedWork W2117087635 @default.
- W2281650882 hasRelatedWork W2134384958 @default.
- W2281650882 hasRelatedWork W2253978528 @default.
- W2281650882 hasRelatedWork W2279520169 @default.
- W2281650882 hasRelatedWork W2280396455 @default.
- W2281650882 hasRelatedWork W244430048 @default.
- W2281650882 hasRelatedWork W2486938739 @default.
- W2281650882 hasRelatedWork W2886399789 @default.
- W2281650882 hasRelatedWork W2971927321 @default.
- W2281650882 hasRelatedWork W3125454179 @default.
- W2281650882 hasRelatedWork W565574218 @default.
- W2281650882 hasRelatedWork W962565801 @default.
- W2281650882 hasRelatedWork W2104312161 @default.
- W2281650882 isParatext "false" @default.
- W2281650882 isRetracted "false" @default.
- W2281650882 magId "2281650882" @default.
- W2281650882 workType "book-chapter" @default.