MARTIN-LÖF RANDOMNESS IN SPACES OF CLOSED SETS

E-ISSN： 1943-5886|80|2|359-383

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.80, Iss.2, 2015-04, pp. : 359-383

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

Martin-Löf Randomness, Invariant Measures and Countable Homogeneous Structures

By Fouché Willem

Theory of Computing Systems, Vol. 52, Iss. 1, 2013-01 ,pp. : 65-79

Springer Publishing Company

Access to resources Recommend Favorite

A construction of non-well-founded sets within Martin-Löf's type theory

The Journal of Symbolic Logic, Vol. 54, Iss. 1, 1989-03 ,pp. : 57-64

Cambridge University Press

Access to resources Recommend Favorite

A construction of type: type in Martin-Löf's partial type theory with one universe

The Journal of Symbolic Logic, Vol. 56, Iss. 3, 1991-09 ,pp. : 1012-1015

Cambridge University Press

Access to resources Recommend Favorite

An interpretation of Martin-Löf's type theory in a type-free theory of propositions

The Journal of Symbolic Logic, Vol. 49, Iss. 3, 1984-09 ,pp. : 730-753

Cambridge University Press

Access to resources Recommend Favorite

Jump inversions inside effectively closed sets and applications to randomness

The Journal of Symbolic Logic, Vol. 76, Iss. 2, 2011-06 ,pp. : 491-518

Cambridge University Press

Access to resources Recommend Favorite