Non-standard Stochastics with a First Order Algebraization |
| |
Authors: | Miklós Ferenczi |
| |
Affiliation: | 1.Department of Algebra,Budapest University of Technology and Economics,Budapest,Hungary |
| |
Abstract: | Internal sets and the Boolean algebras of the collection of the internal sets are of central importance in non-standard analysis. Boolean algebras are the algebraization of propositional logic while the logic applied in non-standard analysis (in non-standard stochastics) is the first order or the higher order logic (type theory). We present here a first order logic algebraization for the collection of internal sets rather than the Boolean one. Further, we define an unusual probability on this algebraization. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|