Transfinite type theory and provability of second order formulas

DOI10.2969/JMSJ/02940633zbMath0359.02007OpenAlexW2162334970MaRDI QIDQ1238797

Tsuyoshi Yukami

Publication date: 1977

Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2969/jmsj/02940633

Mathematics Subject Classification ID

This page was built for publication: Transfinite type theory and provability of second order formulas