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)

Review text

For many years, there have been various attempts to develop a complete formal syntactic approach to Nonstandard Analysis. Often any importance associated with such an approach is in the development of a ``nonstandard set-theory. In this paper, the authors are apparently not concerned with a nonstandard set-theory but rather approach nonstandard analysis by use of a language with infinite conjunction and disjuction. Most of the paper is the development of their hyperformula language. Using these development, the last section establishes some well-known results from elementary nonstandard analysis.

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)