DC Field | Value | Language |
---|---|---|
dc.contributor.author | Herrmann, Christian | ko |
dc.contributor.author | Ziegler, Martin | ko |
dc.date.accessioned | 2019-07-26T09:20:26Z | - |
dc.date.available | 2019-07-26T09:20:26Z | - |
dc.date.created | 2019-07-13 | - |
dc.date.created | 2019-07-13 | - |
dc.date.created | 2019-07-13 | - |
dc.date.issued | 2019-09 | - |
dc.identifier.citation | ALGEBRA UNIVERSALIS, v.80, no.28, pp.28 | - |
dc.identifier.issn | 0002-5240 | - |
dc.identifier.uri | http://hdl.handle.net/10203/263840 | - |
dc.description.abstract | For 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.language | English | - |
dc.publisher | SPRINGER BASEL AG | - |
dc.title | Definable relations in finite dimensional subspace lattices with involution. Part II: Quantifier-free and homogeneous descriptions | - |
dc.type | Article | - |
dc.identifier.wosid | 000475514700002 | - |
dc.identifier.scopusid | 2-s2.0-85068653848 | - |
dc.type.rims | ART | - |
dc.citation.volume | 80 | - |
dc.citation.issue | 28 | - |
dc.citation.beginningpage | 28 | - |
dc.citation.publicationname | ALGEBRA UNIVERSALIS | - |
dc.identifier.doi | 10.1007/s00012-019-0603-7 | - |
dc.contributor.localauthor | Ziegler, Martin | - |
dc.contributor.nonIdAuthor | Herrmann, Christian | - |
dc.description.isOpenAccess | N | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | Subspace lattice | - |
dc.subject.keywordAuthor | Involution | - |
dc.subject.keywordAuthor | Definable relations | - |
dc.subject.keywordAuthor | Constructible sets | - |
dc.subject.keywordAuthor | Grassmann-Plucker coordinates | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.