Hyperformulas and Classifications

DOI10.4288/JAFPOS1956.10.33zbMath0989.03074OpenAlexW2060630000MaRDI QIDQ2759804

Hirofumi Miki, Makoto Kikuchi, Yuzuru Kakuda

Publication date: 14 July 2002

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos1956.10.33

zbMATH Keywords

nonstandard analysislanguage with infinite conjunction and disjuction

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Nonstandard models in mathematics (03H05)

This page was built for publication: Hyperformulas and Classifications