Representability of recursive P. Martin-Löf tests

Cristian S. Calude; Ion Chiţescu

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

The search session has expired. Please query the service again.

Displaying similar documents to “Representability of recursive P. Martin-Löf tests”

On representability of P. Martin-Löf tests

Cristian S. Calude, Ion Chiţescu (1983)

Kybernetika

Similarity:

$M V$ -test spaces versus $M V$ -algebras

Antonio Di Nola, Anatolij Dvurečenskij (2004)

Czechoslovak Mathematical Journal

Similarity:

In analogy with effect algebras, we introduce the test spaces and $M V$ -test spaces. A test corresponds to a hypothesis on the propositional system, or, equivalently, to a partition of unity. We show that there is a close correspondence between $M V$ -algebras and $M V$ -test spaces.

Quasi-everywhere upper functions

Thomas S. Mountford (1992)

Séminaire de probabilités de Strasbourg

Similarity:

Displaying similar documents to “Representability of recursive P. Martin-Löf tests”

On representability of P. Martin-Löf tests

M V -test spaces versus M V -algebras

Quasi-everywhere upper functions

$M V$ -test spaces versus $M V$ -algebras