Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
149 tokens/sec
GPT-4o
9 tokens/sec
Gemini 2.5 Pro Pro
47 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Zermelo-Fraenkel Axioms, Internal Classes, External Sets (2209.07497v16)

Published 15 Sep 2022 in cs.LO, cs.CC, cs.IT, and math.IT

Abstract: Usual math sets have special types: countable, compact, open, occasionally Borel, rarely projective, etc. They are described by a single Set Theory formula with parameters unrelated to other formulas. Exotic expressions involving sets related to formulas of unlimited complexity or to Powerset axiom appear mostly in esoteric or foundational studies. Recognizing internal to math (formula-specified) and external (based on parameters in those formulas) aspects of math objects greatly simplifies foundations. I postulate external sets (not internally specified, treated as the domain of variables) to be hereditarily countable and independent of formula-defined classes, i.e. with finite Kolmogorov Information about them. This allows elimination of all non-integer quantifiers in Set Theory statements.

Summary

We haven't generated a summary for this paper yet.