Gross spaces

DOI10.1090/S0002-9947-96-01658-3MaRDI QIDQ4717120zbMATH OpenOpenAlexFDO

Authors S. Shelah, Otmar Spinas

Publication date 17 March 1997

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9510215

zbMATH Keywords

consistencygeneralized Gross spacesGross spaceindependencesymmetric bilinear formvector space of infinite dimension

Mathematics Subject Classification ID

Consistency and independence results (03E35) Quadratic forms over general fields (11E04) Connections between field theory and logic (12L99) Matrices of integers (15B36)

Abstract: A Gross space is a vector space E of infinite dimension over some field F, which is endowed with a symmetric bilinear form Phi:E^2 -> F and has the property that every infinite dimensional subspace U subseteq E satisfies dim U^perp < dim E. Gross spaces over uncountable fields exist (in certain dimensions). The existence of a Gross space over countable or finite fields (in a fixed dimension not above the continuum) is independent of the axioms of ZFC. Here we continue the investigation of Gross spaces. Among other things we show that if the cardinal invariant b equals omega_1 a Gross space in dimension omega_1 exists over every infinite field, and that it is consistent that Gross spaces exist over every infinite field but not over any finite field. We also generalize the notion of a Gross space and construct generalized Gross spaces in ZFC.

Recommendations

• Iterated forcing in quadratic form theory
• Independence and consistency proofs in quadratic form theory
• Isotropy of quadratic spaces in finite and infinite dimension

Cites work

• Further cardinal arithmetic
• scientific article; zbMATH DE number 3829896 (Why is no real title available?)
• scientific article; zbMATH DE number 3933058 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 44516 (Why is no real title available?)
• scientific article; zbMATH DE number 218626 (Why is no real title available?)
• scientific article; zbMATH DE number 3796765 (Why is no real title available?)
• scientific article; zbMATH DE number 797413 (Why is no real title available?)
• scientific article; zbMATH DE number 797419 (Why is no real title available?)
• scientific article; zbMATH DE number 3894002 (Why is no real title available?)
• Independence and consistency proofs in quadratic form theory
• Iterated forcing in quadratic form theory
• Proper forcing
• Quadratic forms and linear topologies. VI: Quadratic spaces with few isometries
• Quadratic forms in infinite dimensional vector spaces
• Set theory. An introduction to independence proofs
• Souslin forcing
• Strange inner product spaces
• Strong negative partition relations below the continuum
• There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed

Cited in

(8)

• Almost-atomic spaces
• The spectrum of the -invariant of a bilinear space
• Iterated forcing in quadratic form theory
• Isotropy of quadratic spaces in finite and infinite dimension
• Independence and consistency proofs in quadratic form theory
• Linear topologies on sesquilinear spaces of uncountable dimension
• Evasion and prediction - the Specker phenomenon and Gross spaces
• Cardinal invariants of the continuum and combinatorics on uncountable cardinals

This page was built for publication: Gross spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4717120)