Showing 1–6 of 6 results for author: Cabbolet, M J

Relative consistency of a finite nonclassical theory incorporating ZF and category theory with ZF

Authors: Marcoen J. T. F. Cabbolet, Adrian R. D. Mathias

Abstract: Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker than ZF, that is finitely axiomatized, and that does not have a countable model (if it has a model at all, that is). Here we prove that T is relatively consiste… ▽ More Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker than ZF, that is finitely axiomatized, and that does not have a countable model (if it has a model at all, that is). Here we prove that T is relatively consistent with ZF. We conclude that this is an important step towards showing that T is an advancement in the foundations of mathematics. △ Less

Submitted 11 September, 2024; v1 submitted 21 July, 2024; originally announced July 2024.

Comments: 11 pages, 2 figures; v2: some typos and some inconsistent use of the formalism of T eliminated

Relative consistency of Set Matrix Theory with ZF

Authors: Marcoen J. T. F. Cabbolet

Abstract: Set Matrix Theory (SMT) has been introduced in Log. Anal. 225: 59-82 (2014) as a generalization of ZF, in which matrices constructed from sets are treated as urelements, that is, as objects that are not sets but that can be elements of sets. Here we prove that SMT is relatively consistent with ZF. Set Matrix Theory (SMT) has been introduced in Log. Anal. 225: 59-82 (2014) as a generalization of ZF, in which matrices constructed from sets are treated as urelements, that is, as objects that are not sets but that can be elements of sets. Here we prove that SMT is relatively consistent with ZF. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Comments: 5 pages; to appear in Logique et Analyse

MSC Class: 03F25 (primary); 03E65 (secondary)

Journal ref: Logique et Analyse 262: 73-81 (2023)

A marriage of category theory and set theory: a finitely axiomatized nonstandard first-order theory implying ZF

Authors: Marcoen J. T. F. Cabbolet

Abstract: It is well known that ZFC, despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due to the Löwenheim-Skolem theorem. This paper presents the axioms one has to accept to get rid of these two features. For that matter, some twenty axioms are formulated in a nons… ▽ More It is well known that ZFC, despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due to the Löwenheim-Skolem theorem. This paper presents the axioms one has to accept to get rid of these two features. For that matter, some twenty axioms are formulated in a nonstandard first-order language with countable many constants: to this collection of axioms is associated a universe of discourse consisting of a class of objects, each of which is a set, and a class of arrows, each of which is a function. The axioms of ZF are derived from this finite axiom scheme, and it is shown that it does not have a countable model--if it has a model at all, that is. Furthermore, the axioms of category theory are proven to hold: the present universe may therefore serve as an ontological basis for category theory. However, it has not been investigated whether any of the soundness and completeness properties hold for the present theory: the inevitable conclusion is therefore that only further research can establish whether the present results indeed constitute an advancement in the foundations of mathematics. △ Less

Submitted 14 June, 2021; v1 submitted 11 June, 2018; originally announced June 2018.

Comments: Paper presented at the CLPS meeting on April 10, 2019, at the Free University of Brussels (B); 27 pages, 2 figures; published paper is a major revision of this preprint

MSC Class: 03B60; 03E65; 18A15

Journal ref: Axioms 10(2), 119 (2021)

Hyperreal delta functions as a new general tool for modeling physical states with infinitely high densities

Authors: Marcoen J. T. F. Cabbolet

Abstract: This paper introduces the expanded real numbers as an ordered subring of the hyperreal number field that does not contain any infinitesimals, and defines the set of all integrable functions from the real numbers to the expanded real numbers. This allows to identify the Dirac delta with a special hyperreal-valued function of a real variable: the Dirac delta function thus defined is a general tool,… ▽ More This paper introduces the expanded real numbers as an ordered subring of the hyperreal number field that does not contain any infinitesimals, and defines the set of all integrable functions from the real numbers to the expanded real numbers. This allows to identify the Dirac delta with a special hyperreal-valued function of a real variable: the Dirac delta function thus defined is a general tool, applicable for the mathematical modeling of physical systems in which infinitely high densities occur. △ Less

Submitted 30 September, 2021; v1 submitted 12 April, 2018; originally announced April 2018.

Comments: 6 pages, no figures; preprint differs substantially from published version

MSC Class: 33E20

Journal ref: Axioms 10(4), 244 (2021)

The Importance of Developing a Foundation for Naive Category Theory

Authors: Marcoen J. T. F. Cabbolet

Abstract: Recently Feferman (Rev. Symb. Logic 6: 6-15, 2013) has outlined a program for the development of a foundation for naive category theory. While Ernst (ibid. 8: 306-327, 2015) has shown that the resulting axiomatic system is still inconsistent, the purpose of this note is to show that nevertheless some foundation has to be developed before naive category theory can replace axiomatic set theory as a… ▽ More Recently Feferman (Rev. Symb. Logic 6: 6-15, 2013) has outlined a program for the development of a foundation for naive category theory. While Ernst (ibid. 8: 306-327, 2015) has shown that the resulting axiomatic system is still inconsistent, the purpose of this note is to show that nevertheless some foundation has to be developed before naive category theory can replace axiomatic set theory as a foundational theory for mathematics. It is argued that in naive category theory currently a 'cookbook recipe' is used for constructing categories, and it is explicitly shown with a formalized argument that this 'foundationless' naive category theory therefore contains a paradox similar to the Russell paradox of naive set theory. △ Less

Submitted 28 September, 2015; originally announced September 2015.

Comments: Proof that Category Theory in its current state of development is inconsistent; 4 pages; to appear in Thought

MSC Class: 18A05

Journal ref: Thought 4(4), 237-242 (2015)

Set Matrix Theory as a Physically Motivated Generalization of Zermelo-Fraenkel Set Theory

Authors: Marcoen J. T. F. Cabbolet, Harrie C. M. de Swart

Abstract: Recently, the Elementary Process Theory (EPT) has been developed as a set of fundamental principles that might underlie a gravitational repulsion of matter and antimatter. This paper presents set matrix theory (SMT) as the foundation of the mathematical-logical framework in which the EPT has been formalized: Zermelo-Fraenkel set theory (ZF), namely, cannot be used as such. SMT is a generalization… ▽ More Recently, the Elementary Process Theory (EPT) has been developed as a set of fundamental principles that might underlie a gravitational repulsion of matter and antimatter. This paper presents set matrix theory (SMT) as the foundation of the mathematical-logical framework in which the EPT has been formalized: Zermelo-Fraenkel set theory (ZF), namely, cannot be used as such. SMT is a generalization of ZF: whereas ZF uses only sets as primitive objects, in the framework of SMT finite matrices with set-valued entries are objects sui generis, with a one-by-one set matrix [x] being identical to the set x. It is proved that every set that can be constructed in ZF can also be constructed in SMT: as a mathematical foundation, SMT is thus not weaker than ZF. In addition, it is shown that SMT is more suitable han ZF for the intended application to physics. The conclusion is that SMT, contrary to ZF, is acceptable as the mathematical-logical foundation of the framework for physics that is determined by the EPT. △ Less

Submitted 30 January, 2013; v1 submitted 9 February, 2012; originally announced February 2012.

Comments: 16 pages; based on the third chapter (pp. 23-52) of the first author's dissertation, entitled "Elementary Process Theory: axiomatic introduction and applications" (Vrije Universiteit Brussel, 2011)

MSC Class: 03E99

Journal ref: Logique et Analyse 225, 59-82 (2014)