Matches in SemOpenAlex for { <https://semopenalex.org/work/W2074713441> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2074713441 endingPage "140" @default.
- W2074713441 startingPage "129" @default.
- W2074713441 abstract "Let TC be intuitionistic higher-order arithmetic or intuitionistic ZF (with Replacement), both with Relativized Dependent Choice, or just Countable Choice. We show that TC[boxvr]∄x. A(x) (closed) gives TC[boxvr]A(t) for some comprehension term t. This solves a problem left open by Myhill in [4]." @default.
- W2074713441 created "2016-06-24" @default.
- W2074713441 creator A5046248935 @default.
- W2074713441 creator A5054465062 @default.
- W2074713441 date "1983-11-01" @default.
- W2074713441 modified "2023-09-27" @default.
- W2074713441 title "Set existence property for intuitionistic theories with dependent choice" @default.
- W2074713441 cites W1608607427 @default.
- W2074713441 cites W2024315465 @default.
- W2074713441 cites W2093435953 @default.
- W2074713441 doi "https://doi.org/10.1016/0168-0072(83)90011-8" @default.
- W2074713441 hasPublicationYear "1983" @default.
- W2074713441 type Work @default.
- W2074713441 sameAs 2074713441 @default.
- W2074713441 citedByCount "11" @default.
- W2074713441 countsByYear W20747134412012 @default.
- W2074713441 countsByYear W20747134412014 @default.
- W2074713441 countsByYear W20747134412023 @default.
- W2074713441 crossrefType "journal-article" @default.
- W2074713441 hasAuthorship W2074713441A5046248935 @default.
- W2074713441 hasAuthorship W2074713441A5054465062 @default.
- W2074713441 hasBestOaLocation W20747134411 @default.
- W2074713441 hasConcept C10138342 @default.
- W2074713441 hasConcept C110729354 @default.
- W2074713441 hasConcept C111472728 @default.
- W2074713441 hasConcept C114614502 @default.
- W2074713441 hasConcept C118615104 @default.
- W2074713441 hasConcept C121332964 @default.
- W2074713441 hasConcept C138885662 @default.
- W2074713441 hasConcept C162324750 @default.
- W2074713441 hasConcept C177264268 @default.
- W2074713441 hasConcept C182306322 @default.
- W2074713441 hasConcept C189950617 @default.
- W2074713441 hasConcept C199360897 @default.
- W2074713441 hasConcept C202444582 @default.
- W2074713441 hasConcept C33923547 @default.
- W2074713441 hasConcept C41008148 @default.
- W2074713441 hasConcept C61797465 @default.
- W2074713441 hasConcept C62520636 @default.
- W2074713441 hasConcept C65148605 @default.
- W2074713441 hasConcept C97489613 @default.
- W2074713441 hasConceptScore W2074713441C10138342 @default.
- W2074713441 hasConceptScore W2074713441C110729354 @default.
- W2074713441 hasConceptScore W2074713441C111472728 @default.
- W2074713441 hasConceptScore W2074713441C114614502 @default.
- W2074713441 hasConceptScore W2074713441C118615104 @default.
- W2074713441 hasConceptScore W2074713441C121332964 @default.
- W2074713441 hasConceptScore W2074713441C138885662 @default.
- W2074713441 hasConceptScore W2074713441C162324750 @default.
- W2074713441 hasConceptScore W2074713441C177264268 @default.
- W2074713441 hasConceptScore W2074713441C182306322 @default.
- W2074713441 hasConceptScore W2074713441C189950617 @default.
- W2074713441 hasConceptScore W2074713441C199360897 @default.
- W2074713441 hasConceptScore W2074713441C202444582 @default.
- W2074713441 hasConceptScore W2074713441C33923547 @default.
- W2074713441 hasConceptScore W2074713441C41008148 @default.
- W2074713441 hasConceptScore W2074713441C61797465 @default.
- W2074713441 hasConceptScore W2074713441C62520636 @default.
- W2074713441 hasConceptScore W2074713441C65148605 @default.
- W2074713441 hasConceptScore W2074713441C97489613 @default.
- W2074713441 hasIssue "2" @default.
- W2074713441 hasLocation W20747134411 @default.
- W2074713441 hasOpenAccess W2074713441 @default.
- W2074713441 hasPrimaryLocation W20747134411 @default.
- W2074713441 hasRelatedWork W1966007443 @default.
- W2074713441 hasRelatedWork W1974935027 @default.
- W2074713441 hasRelatedWork W1996580892 @default.
- W2074713441 hasRelatedWork W2020174565 @default.
- W2074713441 hasRelatedWork W2047711809 @default.
- W2074713441 hasRelatedWork W24519920 @default.
- W2074713441 hasRelatedWork W2593141400 @default.
- W2074713441 hasRelatedWork W3009339632 @default.
- W2074713441 hasRelatedWork W3134656815 @default.
- W2074713441 hasRelatedWork W3178344065 @default.
- W2074713441 hasVolume "25" @default.
- W2074713441 isParatext "false" @default.
- W2074713441 isRetracted "false" @default.
- W2074713441 magId "2074713441" @default.
- W2074713441 workType "article" @default.