Matches in SemOpenAlex for { <https://semopenalex.org/work/W1607175076> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1607175076 abstract "An AIA formula is one of the form 'A implies B' where A and B are purely universal. Up to a simple reduction AIA formula are both EA and AE. In an earlier paper Solovay, Harrison and I proved the undecidability of validity for the AIA fragment of a two-sorted first-order language for normed vector spaces. In this note we find that validity remains undecidable for AIA sentences in the additive sublanguage, i.e., when multiplication is disallowed." @default.
- W1607175076 created "2016-06-24" @default.
- W1607175076 creator A5007731933 @default.
- W1607175076 date "2010-02-06" @default.
- W1607175076 modified "2023-09-25" @default.
- W1607175076 title "Undecidabiliity for the additive AIA fragment of the theory of normed spaces" @default.
- W1607175076 cites W2049594940 @default.
- W1607175076 cites W3104143411 @default.
- W1607175076 cites W33837999 @default.
- W1607175076 doi "https://doi.org/10.48550/arxiv.1002.1381" @default.
- W1607175076 hasPublicationYear "2010" @default.
- W1607175076 type Work @default.
- W1607175076 sameAs 1607175076 @default.
- W1607175076 citedByCount "0" @default.
- W1607175076 crossrefType "posted-content" @default.
- W1607175076 hasAuthorship W1607175076A5007731933 @default.
- W1607175076 hasBestOaLocation W16071750761 @default.
- W1607175076 hasConcept C10138342 @default.
- W1607175076 hasConcept C111472728 @default.
- W1607175076 hasConcept C11413529 @default.
- W1607175076 hasConcept C118615104 @default.
- W1607175076 hasConcept C138885662 @default.
- W1607175076 hasConcept C153269930 @default.
- W1607175076 hasConcept C162324750 @default.
- W1607175076 hasConcept C182306322 @default.
- W1607175076 hasConcept C192034797 @default.
- W1607175076 hasConcept C202444582 @default.
- W1607175076 hasConcept C204321447 @default.
- W1607175076 hasConcept C2776235265 @default.
- W1607175076 hasConcept C2776411971 @default.
- W1607175076 hasConcept C2780586882 @default.
- W1607175076 hasConcept C33923547 @default.
- W1607175076 hasConcept C41008148 @default.
- W1607175076 hasConceptScore W1607175076C10138342 @default.
- W1607175076 hasConceptScore W1607175076C111472728 @default.
- W1607175076 hasConceptScore W1607175076C11413529 @default.
- W1607175076 hasConceptScore W1607175076C118615104 @default.
- W1607175076 hasConceptScore W1607175076C138885662 @default.
- W1607175076 hasConceptScore W1607175076C153269930 @default.
- W1607175076 hasConceptScore W1607175076C162324750 @default.
- W1607175076 hasConceptScore W1607175076C182306322 @default.
- W1607175076 hasConceptScore W1607175076C192034797 @default.
- W1607175076 hasConceptScore W1607175076C202444582 @default.
- W1607175076 hasConceptScore W1607175076C204321447 @default.
- W1607175076 hasConceptScore W1607175076C2776235265 @default.
- W1607175076 hasConceptScore W1607175076C2776411971 @default.
- W1607175076 hasConceptScore W1607175076C2780586882 @default.
- W1607175076 hasConceptScore W1607175076C33923547 @default.
- W1607175076 hasConceptScore W1607175076C41008148 @default.
- W1607175076 hasLocation W16071750761 @default.
- W1607175076 hasOpenAccess W1607175076 @default.
- W1607175076 hasPrimaryLocation W16071750761 @default.
- W1607175076 hasRelatedWork W1835316325 @default.
- W1607175076 hasRelatedWork W1996177377 @default.
- W1607175076 hasRelatedWork W2011289699 @default.
- W1607175076 hasRelatedWork W2055411475 @default.
- W1607175076 hasRelatedWork W2167135424 @default.
- W1607175076 hasRelatedWork W2339589988 @default.
- W1607175076 hasRelatedWork W2581629772 @default.
- W1607175076 hasRelatedWork W2951261477 @default.
- W1607175076 hasRelatedWork W2952554977 @default.
- W1607175076 hasRelatedWork W4225305705 @default.
- W1607175076 isParatext "false" @default.
- W1607175076 isRetracted "false" @default.
- W1607175076 magId "1607175076" @default.
- W1607175076 workType "article" @default.