Definable relations in finite dimensional subspace lattices with involution. Part II: Quantifier-free and homogeneous descriptions

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 292
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorHerrmann, Christianko
dc.contributor.authorZiegler, Martinko
dc.date.accessioned2019-07-26T09:20:26Z-
dc.date.available2019-07-26T09:20:26Z-
dc.date.created2019-07-13-
dc.date.created2019-07-13-
dc.date.created2019-07-13-
dc.date.issued2019-09-
dc.identifier.citationALGEBRA UNIVERSALIS, v.80, no.28, pp.28-
dc.identifier.issn0002-5240-
dc.identifier.urihttp://hdl.handle.net/10203/263840-
dc.description.abstractFor finite dimensional hermitean inner product spaces V, over ∗ -fields F, and in the presence of orthogonal bases providing form elements in the prime subfield of F, we show that quantifier-free definable relations in the subspace lattice L(V) , endowed with the involution induced by orthogonality, admit quantifier-free descriptions within F, also in terms of Grassmann–Plücker coordinates. In the latter setting, homogeneous descriptions are obtained if one allows quantification type Σ1 . In absence of involution, these results remain valid.-
dc.languageEnglish-
dc.publisherSPRINGER BASEL AG-
dc.titleDefinable relations in finite dimensional subspace lattices with involution. Part II: Quantifier-free and homogeneous descriptions-
dc.typeArticle-
dc.identifier.wosid000475514700002-
dc.identifier.scopusid2-s2.0-85068653848-
dc.type.rimsART-
dc.citation.volume80-
dc.citation.issue28-
dc.citation.beginningpage28-
dc.citation.publicationnameALGEBRA UNIVERSALIS-
dc.identifier.doi10.1007/s00012-019-0603-7-
dc.contributor.localauthorZiegler, Martin-
dc.contributor.nonIdAuthorHerrmann, Christian-
dc.description.isOpenAccessN-
dc.type.journalArticleArticle-
dc.subject.keywordAuthorSubspace lattice-
dc.subject.keywordAuthorInvolution-
dc.subject.keywordAuthorDefinable relations-
dc.subject.keywordAuthorConstructible sets-
dc.subject.keywordAuthorGrassmann-Plucker coordinates-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0