Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Gross spaces

Authors: Saharon Shelah and Otmar Spinas
Journal: Trans. Amer. Math. Soc. 348 (1996), 4257-4277
MSC (1991): Primary 11E04, 03E35; Secondary 12L99, 15A36
MathSciNet review: 1357403
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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} \rightarrow 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.

References [Enhancements On Off] (What's this?)

  • [B/S] B. Balcar and P. Simon, Cardinal invariants in Boolean spaces, General topology and its relations to modern analysis and algebra, V (Prague, 1981) Sigma Ser. Pure Math., vol. 3, Heldermann, Berlin, 1983, pp. 39–47. MR 698388
  • [B] James E. Baumgartner, Iterated forcing, Surveys in set theory, London Math. Soc. Lecture Note Ser., vol. 87, Cambridge Univ. Press, Cambridge, 1983, pp. 1–59. MR 823775, 10.1017/CBO9780511758867.002
  • [B/Sp] James E. Baumgartner and Otmar Spinas, Independence and consistency proofs in quadratic form theory, J. Symbolic Logic 56 (1991), no. 4, 1195–1211. MR 1136450, 10.2307/2275468
  • [B/G] Walter Baur and Herbert Gross, Strange inner product spaces, Comment. Math. Helv. 52 (1977), no. 4, 491–495. MR 0457475
  • [B/Sh] Andreas Blass and Saharon Shelah, There may be simple 𝑃_{ℵ₁}- and 𝑃_{ℵ₂}-points and the Rudin-Keisler ordering may be downward directed, Ann. Pure Appl. Logic 33 (1987), no. 3, 213–243. MR 879489, 10.1016/0168-0072(87)90082-0
  • [vD] Eric K. van Douwen, The integers and topology, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 111–167. MR 776622
  • [F] D. H. Fremlin, Cicho\'{n}'s diagram, Initiation à l'Analyse, Université Piere et Marie Curie, Paris, 1985.
  • [G] Herbert Gross, Quadratic forms in infinite-dimensional vector spaces, Progress in Mathematics, vol. 1, Birkhäuser, Boston, Mass., 1979. MR 537283
  • [G/O] Herbert Gross and Erwin Ogg, Quadratic forms and linear topologies. VI. Quadratic spaces with few isometries, Comment. Math. Helv. 48 (1973), 511–519. MR 0370131
  • [Go] Martin Goldstern, Tools for your forcing construction, Set theory of the reals (Ramat Gan, 1991) Israel Math. Conf. Proc., vol. 6, Bar-Ilan Univ., Ramat Gan, 1993, pp. 305–360. MR 1234283
  • [J] Thomas Jech, Set theory, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. Pure and Applied Mathematics. MR 506523
  • [J/Sh] Jaime I. Ihoda and Saharon Shelah, Souslin forcing, J. Symbolic Logic 53 (1988), no. 4, 1188–1207. MR 973109, 10.2307/2274613
  • [K] Kenneth Kunen, Set theory, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam-New York, 1980. An introduction to independence proofs. MR 597342
  • [Sh1] Saharon Shelah, Proper forcing, Lecture Notes in Mathematics, vol. 940, Springer-Verlag, Berlin-New York, 1982. MR 675955
  • [Sh2] S. Shelah, On cardinal invariants of the continuum, Proceedings of the 6/83 Boulder conference in set theory (J. Baumgartner D. Martin and S. Shelah, eds.), Contemporary mathematics, vol. 31, AMS, 1984, pp. 183-207. MR 86g:03064
  • [Sh3] Saharon Shelah, Vive la différence. I. Nonisomorphism of ultrapowers of countable models, Set theory of the continuum (Berkeley, CA, 1989) Math. Sci. Res. Inst. Publ., vol. 26, Springer, New York, 1992, pp. 357–405. MR 1233826, 10.1007/978-1-4613-9754-0_20
  • [Sh4] S. Shelah, Strong negative partition relations below the continuum, Acta Math. Hungar. 58 (1991), no. 1-2, 95–100. MR 1152830, 10.1007/BF01903551
  • [Sh5] S. Shelah, There are Jo\'{n}sson algebras in many inaccessible cardinals, Cardinal Arithmetic, Oxford University Press, 1994.
  • [Sh6] S. Shelah, Further cardinal arithmetic, in press ([Sh430] in Shelah's list of publications), Israel Journal of Mathematics.
  • [Sh7] S. Shelah, Colouring and $\aleph _{2}$-c.c. not productive, in preparation ([Sh572] in Shelah's list of publications).
  • [Sp1] O. Spinas, Konsistenz- und Unabhängigkeitsresultate in der Theorie der quadratischen Formen, Dissertation, University of Zürich, 1989.
  • [Sp2] O. Spinas, Iterated forcing in quadratic form theory, Israel J. Math. 79 (1992), no. 2-3, 297–315. MR 1248920, 10.1007/BF02808222
  • [Sp3] O. Spinas, An undecidability result in lattice theory, Abstracts of papers presented to the AMS 11, no. 2. (March 1990), 161.
  • [Sp4] Otmar Spinas, Cardinal invariants and quadratic forms, Set theory of the reals (Ramat Gan, 1991) Israel Math. Conf. Proc., vol. 6, Bar-Ilan Univ., Ramat Gan, 1993, pp. 563–581. MR 1234289

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (1991): 11E04, 03E35, 12L99, 15A36

Retrieve articles in all journals with MSC (1991): 11E04, 03E35, 12L99, 15A36

Additional Information

Saharon Shelah
Affiliation: Department of Mathematics, The Hebrew University of Jerusalem, Givat Ram, Jerusalem, Israel

Otmar Spinas
Affiliation: Department of Mathematics, University of California, Irvine, California 92717

Received by editor(s): August 1, 1995
Additional Notes: The authors are supported by the Basic Research Foundation of the Israel Academy of Science.
Article copyright: © Copyright 1996 American Mathematical Society