Logical consequence and closure spaces
... a closure operator on S characterized by extensivity (C1), idempotence (C2), and isotonicity (C3): ...
... a closure operator on S characterized by extensivity (C1), idempotence (C2), and isotonicity (C3): ...
Localization of ringed spaces
... Let Top, LRS, RS, and Sch denote the categories of topological spaces, locally ringed spaces, ringed spaces, and schemes, respectively. Consider maps of schemes fi : Xi → Y (i = 1, 2) and their fibered product X1 ×Y X2 as schemes. Let X denote the topological space underlying a scheme X. There is a ...
... Let Top, LRS, RS, and Sch denote the categories of topological spaces, locally ringed spaces, ringed spaces, and schemes, respectively. Consider maps of schemes fi : Xi → Y (i = 1, 2) and their fibered product X1 ×Y X2 as schemes. Let X denote the topological space underlying a scheme X. There is a ...
Surjective limits of locally convex spaces and their
... holomorphy in locally convex spaces. In contrast to the other sections many of the proofs in this section have appeared previously [13]. We include this section, however, as some of the results are new (Example 4.7 and Proposition 4.8), some previous proofs have been simplified, and we are using a n ...
... holomorphy in locally convex spaces. In contrast to the other sections many of the proofs in this section have appeared previously [13]. We include this section, however, as some of the results are new (Example 4.7 and Proposition 4.8), some previous proofs have been simplified, and we are using a n ...