Independence and consistency proofs in quadratic form theory

Publisher： Cambridge University Press

E-ISSN： 1943-5886|56|4|1195-1211

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.56, Iss.4, 1991-12, pp. : 1195-1211

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

An independence result in quadratic form theory: Infinitary combinatorics applied to ε-Hermitian spaces

By  

The Journal of Symbolic Logic, Vol. 54, Iss. 3, 1989-09 ,pp. : 689-699

Cambridge University Press

Access to resources Recommend Favorite

Some proofs of independence in axiomatic set theory1

By  

The Journal of Symbolic Logic, Vol. 21, Iss. 3, 1956-09 ,pp. : 291-303

Cambridge University Press

Access to resources Recommend Favorite

Mathematical significance of consistency proofs

By  

The Journal of Symbolic Logic, Vol. 23, Iss. 2, 1958-06 ,pp. : 155-182

Cambridge University Press

Access to resources Recommend Favorite

Some formal relative consistency proofs

By  

The Journal of Symbolic Logic, Vol. 18, Iss. 2, 1953-06 ,pp. : 136-144

Cambridge University Press

Access to resources Recommend Favorite

Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic

By  

The Journal of Symbolic Logic, Vol. 52, Iss. 1, 1987-03 ,pp. : 89-110

Cambridge University Press

Access to resources Recommend Favorite