On predicates with constructive infinitely long expressions

DOI10.2969/JMSJ/01520176MaRDI QIDQ2626202zbMATH OpenOpenAlexFDO

Authors 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

Cited in

(4)

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

This page was built for publication: On predicates with constructive infinitely long expressions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2626202)