Ackermann's model and recursive predicates

DOI10.3792/pja/1195521328zbMath0191.30402OpenAlexW2067197194MaRDI QIDQ5585405

Moto-o Takahashi

Publication date: 1968

Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3792/pja/1195521328

zbMATH Keywords

recursion theory, constructive mathematics

Cites Work

• A hierarchy of formulas in set theory
• Unnamed Item

This page was built for publication: Ackermann's model and recursive predicates