More download options

Independence and consistency proofs in quadratic form theory

James E. Baumgartner & Otmar Spinas

Journal of Symbolic Logic 56 (4):1195-1211 (1991) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Mathematical Logic in Philosophy of Mathematics

Keywords

Reprint years

DOI

10.2307/2275468

Links

PhilArchive

Upload a copy of this work Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Independence Proofs and the Theory of Implication.V. F. Lenzen - 1919 - The Monist 29 (1):152-160.

Mathematical realism and gödel's incompleteness theorems.Richard Tieszen - 1994 - Philosophia Mathematica 2 (3):177-201.

An independence result in quadratic form theory: Infinitary combinatorics applied to ɛ-hermitian spaces.Fred Appenzeller - 1989 - Journal of Symbolic Logic 54 (3):689-699.

Proving quadratic reciprocity.Andrew Boucher - manuscript

Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.

Set Theory: Boolean-Valued Models and Independence Proofs.John L. Bell - 2011 - Oxford University Press.

Beltrami's model and the independence of the parallel postulate.J. Scanlan Michael - 1988 - History and Philosophy of Logic 9 (1):13-34.

Toposes in logic and logic in toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.

Independence Proofs and the Theory of Implication.P. J. Daniell - 1919 - The Monist 29 (3):451-453.

The Independence of the Parallel Postulate and Development of Rigorous Consistency Proofs.David J. Stump - 2007 - History and Philosophy of Logic 28 (1):19-30.

Analytics

Added to PP
2009-01-28

Downloads
42 (#368,825)

6 months
16 (#149,874)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Cardinal invariants of the continuum and combinatorics on uncountable cardinals.Jörg Brendle - 2006 - Annals of Pure and Applied Logic 144 (1-3):43-72.

On constructions with 2-cardinals.Piotr Koszmider - 2017 - Archive for Mathematical Logic 56 (7-8):849-876.

In memoriam: James Earl Baumgartner (1943–2011).J. A. Larson - 2017 - Archive for Mathematical Logic 56 (7):877-909.

Fred Appenzeller. An independence result in quadratic form theory: infinitary combinatorics applied to ε-Hermitian spaces. The journal of symbolic logic, vol. 54 , pp. 689–699. - Otmar Spinas. Linear topologies on sesquilinear spaces of uncountable dimension. Fundamenta mathematicae, vol. 139 , pp. 119–132. - James E. Baumgartner, Matthew Foreman, and Otmar Spinas. The spectrum of the Γ-invariant of a bilinear space. Journal of algebra, vol. 189 , pp. 406–418. - James E. Baumgartner and Otmar Spinas. Independence and consistency proofs in quadratic form theory. The journal of symbolic logic, vol. 56 , pp. 1195–1211. - Otmar Spinas. Iterated forcing in quadratic form theory. Israel journal of mathematics, vol. 79 , pp. 297–315. - Otmar Spinas. Cardinal invariants and quadratic forms. Set theory of the reals, edited by Haim Judah, Israel mathematical conference proceedings, vol. 6, Gelbart Research Institute for Mathematical Sciences, Bar-Ilan University, Ramat-Gan 1993, distributed by t. [REVIEW]Paul C. Eklof - 2001 - Bulletin of Symbolic Logic 7 (2):285-286.

The Journal of Symbolic Logic. [REVIEW]Paul C. Eklof - 2001 - Bulletin of Symbolic Logic 7 (2):285-286.

Add more citations

References found in this work

Set Theory. An Introduction to Independence Proofs.James E. Baumgartner & Kenneth Kunen - 1986 - Journal of Symbolic Logic 51 (2):462.

Add more references