Аннотация:
В статье излагаются главные результаты последних лет в области теоретико-множественного нестандартного анализа (нестандартные теории множеств и классов).
Показано, каким образом универсумы более простых теорий (начиная с обычной теории множеств Цермело–Френкеля ZFC) могут быть расширены до универсумов более
сложных нестандартных теорий множеств и классов. Заключительный параграф излагает основные положения булевозначного анализа как части теоретико-множественного нестандартного анализа.
Библиография: 66 названий.
A. G. Kusraev, S. S. Kutateladze, Trends in Mathematics, Operator Theory and Differential Equations, 2021, 91
Kanel-Belov A., Chilikov A., Ivanov-Pogodaev I., Malev S., Plotkin E., Yu J.-T., Zhang W., “Nonstandard Analysis, Deformation Quantization and Some Logical Aspects of (Non)Commutative Algebraic Geometry”, Mathematics, 8:10 (2020), 1694
Herzberg F.S., Kanovei V., Katz M., Lyubetsky V., “Minimal Axiomatic Frameworks For Definable Hyperreals With Transfer”, J. Symb. Log., 83:1 (2018), 385–391
Kanovei V., Katz K.U., Katz M.G., Schaps M., “Proofs and Retributions, Or: Why Sarah Can'T Take Limits”, Found. Sci., 20:1 (2015), 1–25
Vladimir Kanovei, Vassily Lyubetsky, “Grossone approach to Hutton and Euler transforms”, Applied Mathematics and Computation, 2014