Related papers: The Consistency of $ZFC+CIFS$
In this paper, using definability of types over indiscernible sequences as a template, we study a property of formulas and theories called "uniform definability of types over finite sets" (UDTFS). We explore UDTFS and show how it relates to…
Counterfactual explanations (CFEs) provide actionable recourse, but most methods assume a static framework with fixed data and a trained classifier. This assumption breaks in evolving data environments, such as data streams, where online…
Schaeffer's regularity theorem for scalar conservation laws can be loosely speaking formulated as follows. Assume that the flux is uniformly convex, then for a generic smooth initial datum the admissible solution is smooth outside a locally…
In this article the author claims that there is a paradigm shift from ZFC to NFUM and further to NACT - due to philosophical reasons, not mathematical ones. The goal is to construct systems where every "Not-Properclass" is a set! With help…
We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary…
In the first part of this paper we revisit a classical topological theorem by Tischler (1970) and deduce a topological result about compact manifolds admitting a set of independent closed forms proving that the manifold is a fibration over…
The main purpose of this review is to summarize the recent advances of the Conservation-Dissipation Formalism (CDF), a new way for constructing both thermodynamically compatible and mathematically stable and well-posed models for…
This paper focuses on some properties, which include regularity, impulse, stability, admissibility and robust admissibility, of singular fractional order system (SFOS) with fractional order $1<\alpha<2$. The finitions of regularity,…
In this paper we give an ordinal analysis of a set theory extending ${\sf KP}\ell^{r}$ with an axiom stating that `there exists a transitive set $M$ such that $M\prec_{\Sigma_{1}}V$'.
This dissertation surveys several topics in the general areas of iterated forcing, infinite combinatorics and set theory of the reals. There are two parts. In the first half I consider alternative versions of the Cicho\'n diagram. First I…
It is well-known that the Continuum Hypothesis (CH) is independent of the other axioms of Zermelo-Fraenkel set theory with choice (ZFC). This raises the question of whether an intuitive justification exists for CH as an additional axiom, or…
In this paper we show that the intuitionistic fixed point theory FiX^{i}(X) over set theories T is a conservative extension of T if T can manipulate finite sequences and has the full foundation schema.
Let X be a smooth irreducible projective surface. The aim of this paper is to establish a version of Clifford's theorem for coherent systems on X.
Multi-class systems having possibly both finite and infinite classes are investigated under a natural partial exchangeability assumption. It is proved that the conditional law of such a system, given the vector of the empirical measures of…
In generic realizability for set theories, realizers treat unbounded quantifiers generically. To this form of realizability, we add another layer of extensionality by requiring that realizers ought to act extensionally on realizers, giving…
We provide a direct proof of Agafonov's theorem which states that finite state selection preserves normality. We also extends this result to the more general setting of shifts of finite type by defining selections which are compatible the…
In the context of $\mathsf{ZF}$, we analyze a version of Hindman's finite unions theorem on infinite sets, which normally requires the Axiom of Choice to be proved. We establish the implication relations between this statement and various…
The forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is everything that holds in a generic extension is forced by a…
We introduce finite support iterations of symmetric systems, and use them to provide a strongly modernized proof of David Pincus' classical result that the axiom of dependent choice is independent over ZF with the ordering principle…
The dimension spectrum of a conformal iterated function system (CIFS) is the set of all Hausdorff dimensions of its various subsystem limit sets. This brief note provides two constructions -- (i) a compact perfect set that cannot be…