Hyperformulas and classifications

DOI10.4288/JAFPOS1956.10.33MaRDI QIDQ2759804zbMATH OpenOpenAlexFDO

Authors Yuzuru Kakuda, Makoto Kikuchi, Hirofumi Miki

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

language with infinite conjunction and disjuctionnonstandard analysis

Mathematics Subject Classification ID

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

Recommendations

• The syntax of nonstandard analysis
• scientific article; zbMATH DE number 4075055
• A constructive approach to nonstandard analysis
• scientific article; zbMATH DE number 2097229
• scientific article; zbMATH DE number 444623

Cited in

(3)

• A generalization of class formation by using hypercohomology
• Hyperbolic BMOA classes
• Hypernormal form theory: foundations and algorithms

This page was built for publication: Hyperformulas and classifications

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