If A is a finite set of cardinality n ≥ 1, 2 is the set of all subsets of A, and S is a nonempty subset of 2, we say that S has the odd-intersection property if there exists a subset N of A such that the cardinality of N ∩S is odd for each S ∈ S. Let OIP (n) denote the set of all subsets of 2 with the odd-intersection property. A nonempty set S of nonempty subsets of A is an obstruction (to the...

We show that limsup sets generated by a sequence of open in compact Ahlfors s-regular $(0<s<\infty )$ space $(X,{\mathscr{B}},\mu ,\rho belong to the classes with large intersections index λ, denoted $\mathcal {G}^{\lambda }(X)$ , under some conditions. In particular, this provides lower bound on Hausdorff dimension such sets. These results are applied obtain random fractals indices γ2 and δ {G...

Abstract It is proved that a map ${\varphi }\colon R\to S$ of commutative Noetherian rings essentially finite type and flat locally complete intersection if only $S$ proxy small as bimodule. This means the thick subcategory generated by module over enveloping algebra $S\otimes _RS$ contains perfect complex supported fully on diagonal ideal. in spirit classical result }$ smooth bimodule; to say,...

We introduce an intersection type assignment system for EspiritoSanto’s λGtz-calculus, a term calculus embodying the Curry–Howard correspondence for the intuitionistic sequent calculus. We investigate basic properties of this intersection type system. Our main result is Subject reduction property.