Matches in SemOpenAlex for { <https://semopenalex.org/work/W2783607922> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2783607922 abstract "Goodman’s theorem states that HAω+AC+RDC is conservative over HA. The same result applies to the extensional case, that is, E-HAω+AC+RDC is also conservative over HA. This is due to Beeson. In this article, we modify Goodman realizability and provide a new proof of the extensional case." @default.
- W2783607922 created "2018-01-26" @default.
- W2783607922 creator A5078323773 @default.
- W2783607922 date "2019-08-01" @default.
- W2783607922 modified "2023-09-25" @default.
- W2783607922 title "On Goodman Realizability" @default.
- W2783607922 cites W1506561761 @default.
- W2783607922 cites W1608607427 @default.
- W2783607922 cites W1990224856 @default.
- W2783607922 cites W1994999396 @default.
- W2783607922 cites W2085036336 @default.
- W2783607922 cites W2131109250 @default.
- W2783607922 cites W2275376313 @default.
- W2783607922 cites W2963054981 @default.
- W2783607922 doi "https://doi.org/10.1215/00294527-2019-0018" @default.
- W2783607922 hasPublicationYear "2019" @default.
- W2783607922 type Work @default.
- W2783607922 sameAs 2783607922 @default.
- W2783607922 citedByCount "2" @default.
- W2783607922 countsByYear W27836079222020 @default.
- W2783607922 countsByYear W27836079222022 @default.
- W2783607922 crossrefType "journal-article" @default.
- W2783607922 hasAuthorship W2783607922A5078323773 @default.
- W2783607922 hasBestOaLocation W27836079222 @default.
- W2783607922 hasConcept C11413529 @default.
- W2783607922 hasConcept C118615104 @default.
- W2783607922 hasConcept C127313418 @default.
- W2783607922 hasConcept C136137745 @default.
- W2783607922 hasConcept C144237770 @default.
- W2783607922 hasConcept C150355047 @default.
- W2783607922 hasConcept C151730666 @default.
- W2783607922 hasConcept C199343813 @default.
- W2783607922 hasConcept C202444582 @default.
- W2783607922 hasConcept C2776378722 @default.
- W2783607922 hasConcept C2777686260 @default.
- W2783607922 hasConcept C33923547 @default.
- W2783607922 hasConcept C71924100 @default.
- W2783607922 hasConcept C77928131 @default.
- W2783607922 hasConceptScore W2783607922C11413529 @default.
- W2783607922 hasConceptScore W2783607922C118615104 @default.
- W2783607922 hasConceptScore W2783607922C127313418 @default.
- W2783607922 hasConceptScore W2783607922C136137745 @default.
- W2783607922 hasConceptScore W2783607922C144237770 @default.
- W2783607922 hasConceptScore W2783607922C150355047 @default.
- W2783607922 hasConceptScore W2783607922C151730666 @default.
- W2783607922 hasConceptScore W2783607922C199343813 @default.
- W2783607922 hasConceptScore W2783607922C202444582 @default.
- W2783607922 hasConceptScore W2783607922C2776378722 @default.
- W2783607922 hasConceptScore W2783607922C2777686260 @default.
- W2783607922 hasConceptScore W2783607922C33923547 @default.
- W2783607922 hasConceptScore W2783607922C71924100 @default.
- W2783607922 hasConceptScore W2783607922C77928131 @default.
- W2783607922 hasIssue "3" @default.
- W2783607922 hasLocation W27836079221 @default.
- W2783607922 hasLocation W27836079222 @default.
- W2783607922 hasLocation W27836079223 @default.
- W2783607922 hasOpenAccess W2783607922 @default.
- W2783607922 hasPrimaryLocation W27836079221 @default.
- W2783607922 hasRelatedWork W1487998695 @default.
- W2783607922 hasRelatedWork W1537788508 @default.
- W2783607922 hasRelatedWork W1636793691 @default.
- W2783607922 hasRelatedWork W2783607922 @default.
- W2783607922 hasRelatedWork W2964154025 @default.
- W2783607922 hasRelatedWork W3022345321 @default.
- W2783607922 hasRelatedWork W3112595056 @default.
- W2783607922 hasRelatedWork W4287555623 @default.
- W2783607922 hasRelatedWork W94824247 @default.
- W2783607922 hasRelatedWork W995178512 @default.
- W2783607922 hasVolume "60" @default.
- W2783607922 isParatext "false" @default.
- W2783607922 isRetracted "false" @default.
- W2783607922 magId "2783607922" @default.
- W2783607922 workType "article" @default.