Copower objects and their applications to finiteness in topoi.
Coproducts in Categories without Uniqueness of cod and dom
The paper introduces coproducts in categories without uniqueness of cod and dom. It is proven that set-theoretical disjoint union is the coproduct in the category Ens [9].
Corcoran's Aristotelian syllogistic as a subsystem of first-order logic.
Core structures for theories
Corps C-minimaux, en l’honneur de François Lucas
La classe des constructibles de la géométrie algébrique est close par projection. La théorie des modèles exprime ce fait en disant que les corps algébriquement clos éliminent les quantificateurs dans le langage des anneaux. De façon analogue, les corps algébriquement clos non trivialement valués éliminent les quantificateurs dans le langage des anneaux enrichi de la relation dite de divisibilité . Cela implique en particulier la « -minimalité » : une partie définissable d’un corps algébriquement...
Corps équivalents à leur corps de séries
Correció a l'article: "Analisi formalment recursiva".
Corrección del artículo del autor "Anàlisi formalment recursiva", publicado en Publicacions de la Secció de Matemàtiques de la UAB, 30 (2-3), p. 35-75 (1986).
Correction to: “A note on nonaxiomatizability of independence relations generated by certain probabilistic structures”
Correction to: Adding a random or a Cohen real: topological consequences and the effect on Martin's axiom
Correction to: Homological Dimension and Stationary Sets. Math. Z. 180, 1-9 (1982).
Correction to the paper “A notion of measure for classes in AST”
Correction to the paper: "A theorem on almost disjoint sets'' (Colloq. Math. 24 (1972), 1--2)
Correction to the paper: Covering by special Cantor sets
Correction to the paper: “Set-like equivalence and inner and outer cuts”
Correction to the paper "Two classes of measures''
Corrections : «Les dérivations analytiques»
Correspondance de Fréchet (1907-1926) et son apport à la théorie de la dimension (avec 3 lettres de Brouwer à Baire)
Correspondence between interval -equivalences and -functions
Corrigendum à l'article "Sur la construction de certaines MS-algèbres" (Port. Math., 39(1-4) (1980), 489-496)
Cotorsion-free algebras as endomorphism algebras in - the discrete and topological cases
The discrete algebras over a commutative ring which can be realized as the full endomorphism algebra of a torsion-free -module have been investigated by Dugas and Göbel under the additional set-theoretic axiom of constructibility, . Many interesting results have been obtained for cotorsion-free algebras but the proofs involve rather elaborate calculations in linear algebra. Here these results are rederived in a more natural topological setting and substantial generalizations to topological...