scientific article; zbMATH DE number 3503215

zbMath0322.02039MaRDI QIDQ4083409

Giovanni Criscuolo, Eliana Minicozzi, Giuseppe Trautteur

Publication date: 1975

Full work available at URL: https://eudml.org/doc/92025

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25)

Related Items (2)

A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract) ⋮ Toward the interpretation of non-constructive reasoning as non-monotonic learning

Cites Work

• Unnamed Item
• Unnamed Item
• Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)
• Iterated Limiting Recursion and the Program Minimization Problem
• Toward a mathematical theory of inductive inference
• Minimal-program complexity of sequences with restricted resources
• Trial and error predicates and the solution to a problem of Mostowski
• Limiting recursion
• Some decidability results on grammatical inference and complexity
• Language identification in the limit

This page was built for publication: