On predicates with constructive infinitely long expressions

DOI10.2969/jmsj/01520176zbMath0118.25001OpenAlexW2038720187MaRDI QIDQ2626202

Gaisi Takeuti, Akiko Kino

Publication date: 1963

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/01520176

zbMATH Keywords

mathematical logic

Related Items

On definability of ordinals in logic with infinitely long expressions, Infinitary logic and admissible sets, Remarks on an infinitary language with constructive formulas, Mehrsortige logische Systeme mit unendlich langen Formeln I