Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022841776> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2022841776 endingPage "300" @default.
- W2022841776 startingPage "299" @default.
- W2022841776 abstract "The ambiguous type theory ATT is introduced in [1] in order to obtain a new proof of Specker's theorem on typical ambiguity [3]. In the present paper we imbed the recursively undecidable theory TR of a single transitive-reflexive relation in an arbitrary stratified theory T such that T ⫅ ATT and so reduce the problem of derivability in TR to the same problem for T. From this it follows that ATT is hereditarily undecidable, i.e. ATT has no decidable subtheories." @default.
- W2022841776 created "2016-06-24" @default.
- W2022841776 creator A5024224794 @default.
- W2022841776 date "1992-01-01" @default.
- W2022841776 modified "2023-09-27" @default.
- W2022841776 title "THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE" @default.
- W2022841776 cites W2334611908 @default.
- W2022841776 doi "https://doi.org/10.1002/malq.19920380126" @default.
- W2022841776 hasPublicationYear "1992" @default.
- W2022841776 type Work @default.
- W2022841776 sameAs 2022841776 @default.
- W2022841776 citedByCount "0" @default.
- W2022841776 crossrefType "journal-article" @default.
- W2022841776 hasAuthorship W2022841776A5024224794 @default.
- W2022841776 hasConcept C114614502 @default.
- W2022841776 hasConcept C118615104 @default.
- W2022841776 hasConcept C153269930 @default.
- W2022841776 hasConcept C18903297 @default.
- W2022841776 hasConcept C191399111 @default.
- W2022841776 hasConcept C192034797 @default.
- W2022841776 hasConcept C199360897 @default.
- W2022841776 hasConcept C202444582 @default.
- W2022841776 hasConcept C2777299769 @default.
- W2022841776 hasConcept C2780522230 @default.
- W2022841776 hasConcept C33923547 @default.
- W2022841776 hasConcept C41008148 @default.
- W2022841776 hasConcept C86803240 @default.
- W2022841776 hasConceptScore W2022841776C114614502 @default.
- W2022841776 hasConceptScore W2022841776C118615104 @default.
- W2022841776 hasConceptScore W2022841776C153269930 @default.
- W2022841776 hasConceptScore W2022841776C18903297 @default.
- W2022841776 hasConceptScore W2022841776C191399111 @default.
- W2022841776 hasConceptScore W2022841776C192034797 @default.
- W2022841776 hasConceptScore W2022841776C199360897 @default.
- W2022841776 hasConceptScore W2022841776C202444582 @default.
- W2022841776 hasConceptScore W2022841776C2777299769 @default.
- W2022841776 hasConceptScore W2022841776C2780522230 @default.
- W2022841776 hasConceptScore W2022841776C33923547 @default.
- W2022841776 hasConceptScore W2022841776C41008148 @default.
- W2022841776 hasConceptScore W2022841776C86803240 @default.
- W2022841776 hasIssue "1" @default.
- W2022841776 hasLocation W20228417761 @default.
- W2022841776 hasOpenAccess W2022841776 @default.
- W2022841776 hasPrimaryLocation W20228417761 @default.
- W2022841776 hasRelatedWork W1485718948 @default.
- W2022841776 hasRelatedWork W2246583867 @default.
- W2022841776 hasRelatedWork W2887003345 @default.
- W2022841776 hasRelatedWork W2953274432 @default.
- W2022841776 hasRelatedWork W2962857306 @default.
- W2022841776 hasRelatedWork W3036069644 @default.
- W2022841776 hasRelatedWork W3144220040 @default.
- W2022841776 hasRelatedWork W4287754702 @default.
- W2022841776 hasRelatedWork W4297789064 @default.
- W2022841776 hasRelatedWork W66176321 @default.
- W2022841776 hasVolume "38" @default.
- W2022841776 isParatext "false" @default.
- W2022841776 isRetracted "false" @default.
- W2022841776 magId "2022841776" @default.
- W2022841776 workType "article" @default.