On different kinds of indefinite

DOI10.1007/BF02575638zbMath0294.02016MaRDI QIDQ1212449

Marisa Venturini Zilli

Publication date: 1974

Published in: Calcolo (Search for Journal in Brave)

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

On the problem of deciding equality in partial combinatory algebras and in a formal system

Cites Work

• Unnamed Item
• Algebraically Generalized Recursive Function Theory
• Construction of models for algebraically generalized recursive function theory
• Uniformly Reflexive Structures: On the Nature of Godelizations and Relative Computability

This page was built for publication: On different kinds of indefinite