A constructive look at the completeness of the space (ℝ)

E-ISSN： 1943-5886|67|4|1511-1519

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.67, Iss.4, 2002-12, pp. : 1511-1519

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

Transfinite Progressions: A Second Look at Completeness

Bulletin of Symbolic Logic, Vol. 10, Iss. 3, 2004-09 ,pp. : 367-389

Cambridge University Press

Access to resources Recommend Favorite

A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS

The Journal of Symbolic Logic, Vol. 48, Iss. 1, 1983-03 ,pp. : 1-20

Cambridge University Press

Access to resources Recommend Favorite

Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory

By Spitters Bas

Order, Vol. 27, Iss. 2, 2010-07 ,pp. : 225-233

Springer Publishing Company

Access to resources Recommend Favorite

Proper forcing and L(ℝ)

The Journal of Symbolic Logic, Vol. 66, Iss. 2, 2001-06 ,pp. : 801-810

Cambridge University Press

Access to resources Recommend Favorite

On Lorentzian surfaces in ℝ^2,2

Proceedings of the Royal Society of Edinburgh, Section A: Mathematics - still being published, Vol. 147, Iss. 1, 2017-01 ,pp. : 61-88

Cambridge University Press

Access to resources Recommend Favorite