Pseudo-complements and ordinal logics based on consistency statements

Publisher： Cambridge University Press

E-ISSN： 1943-5886|31|3|359-364

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.31, Iss.3, 1966-09, pp. : 359-364

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

Ordinal bounds for κ-consistency

By  

The Journal of Symbolic Logic, Vol. 39, Iss. 4, 1974-12 ,pp. : 693-699

Cambridge University Press

Access to resources Recommend Favorite

Cuts, consistency statements and interpretations

By  

The Journal of Symbolic Logic, Vol. 50, Iss. 2, 1985-06 ,pp. : 423-441

Cambridge University Press

Access to resources Recommend Favorite

On deciding the truth of certain statements involving the notion of consistency

By  

The Journal of Symbolic Logic, Vol. 41, Iss. 4, 1976-12 ,pp. : 779-781

Cambridge University Press

Access to resources Recommend Favorite

Embedding theorems for boolean algebras and consistency results on ordinal definable sets

By  

The Journal of Symbolic Logic, Vol. 42, Iss. 1, 1977-03 ,pp. : 64-76

Cambridge University Press

Access to resources Recommend Favorite

An extended joint consistency theorem for a family of free modal logics with equality1

By  

The Journal of Symbolic Logic, Vol. 49, Iss. 1, 1984-03 ,pp. : 174-183

Cambridge University Press

Access to resources Recommend Favorite