Related papers: The Consistency of $ZFC+CIFS$

We formulate a sufficient condition for the existence of a consistent price system (CPS), which is weaker than the conditional full support condition (CFS) introduced by Guasoni, Rasonyi, and Schachermayer [Ann. Appl. Probab., 18(2008), pp.…

A generalized topology in a set $X$ is a collection $\text{Cov}_X$ of families of subsets of $X$ such that the triple $(X,\bigcup \text{Cov}_X,\text{Cov}_X)$ is a generalized topological space in the sense of Delfs and Knebusch. In this…

Closed time-like curves naturally appear in a variety of chronology-violating space-times. In these space-times, the Principle of Self-Consistency demands an harmony between local and global affairs that excludes grandfather-like paradoxes.…

Finding necessary and sufficient conditions for isomorphism between two semigroups of order-preserving transformations over an infinite domain with restricted range was an open problem in \cite{FHQS}. In this paper, we show a proof strategy…

This paper has been withdrawn. This paper focuses on the admissibility condition for fractional-order singular system with order $\alpha \in (0,1)$. The definitions of regularity, impulse-free and admissibility are given first, then a…

Partial descriptions of the Universe are presented in the form of linear equations considered in the free (full, super) Fock space. The universal properties of these equations are discussed. The closure problem caused by computational and…

In [G. Curi, "Exact approximations to Stone-Cech compactification'', Ann. Pure Appl. Logic, 146, 2-3, 2007, pp. 103-123] a characterization is obtained of the locales of which the Stone-Cech compactification can be defined in constructive…

Let ${\mathbb F}$ be a field with characteristic not $2$, and $A_i\in{\mathbb F}^{m\times n},B_i\in{\mathbb F}^{n\times m},C_i\in{\mathbb F}^{m\times m}$, for $i=1,...,k$. In this short note, we obtain necessary and sufficient conditions…

In this paper, we obtain sufficient and necessary conditions of some classical convex sets as positively invariant sets for a continuous dynamical system, namely positive invariance conditions. The approach is based on Nagumo Theorem by…

We derive consistency conditions for the CFT data, which systems with exact but spontaneously broken conformal invariance must satisfy.

We deal with consistency results for the existence of universal models in natural classes of models (more exactly--a somewhat weaker version). We apply a result on quite general family to T_feq and to the class of triangle-free graphs.

CZF is a system of set theory which, over classical logic, is equivalent to ZF, while over intuitionistic logic, it has a well-known constructive type-theoretic interpretation. This article introduces a simpler, intuitive family of…

Under $\mathrm{ZF}$, we show that the statement that every subset of every $\mathbb{R}$-vector space has a maximal convex subset is equivalent to the Axiom of Choice. We also study the strength of the same statement restricted to some…

Let $X$ be a stationary process with values in some $\sigma$-finite measured state space $(E,\mathcal{E},\pi)$, indexed by ${\mathbb Z}$. Call ${\mathcal F}^X$ its natural filtration. In \cite{ceillierstationary}, sufficient conditions were…

We study relationships between various set theoretic compactness principles, focusing on the interplay between the three families of combinatorial objects or principles mentioned in the title. Specifically, we show the following. (1) Strong…

This thesis concerns embeddings and self-embeddings of foundational structures in both set theory and category theory. The first part of the work on models of set theory consists in establishing a refined version of Friedman's theorem on…

Let $M$ be a transitive model of $ZFC$ and let ${\bf B}$ be a $M$-complete Boolean algebra in $M.$ (In general a proper class.) We define a generalized notion of forcing with such Boolean algebras, $^*$forcing. (A $^*$ forcing extension of…

Independence of premise principles play an important role in characterizing the modified realizability and the Dialectica interpretations. In this paper we show that a great many intuitionistic set theories are closed under the…

It is generally taken for granted that two-dimensional critical phenomena can be fully classified by the well known two-dimensional (rational) conformal quantum field theories (CQFTs). In particular it is believed that in models with a…

Chain conditions are one of the major tools used in the theory of forcing. We say that a partial order has the countable chain condition if every antichain (in the sense of forcing) is countable. Without the axiom of choice antichains tend…