We explore the possibility and some potential payoffs of using the theory of accessible categories in the study of categories of logics. We illustrate this by two case studies focusing on the category of finitary structural logics and its subcategory of algebraizable logics.

In the present work we investigate the behavior of a vortex in a long superconducting cylinder near to a columnar defect at the center. The derivations of the local magnetic field distribution and the Gibbs free energy will be carried out for a cylinder and a cavity of arbitrary sizes. From the general expressions, it considered two particular limits: one in which the radius of the cavity is very small but the radius of the superconducting cylinder is kept finite; and one in which the radius of the superconducting cylinder is taken very large (infinite) but the radius of the cavity is kept finite. In both cases the maximum number of vortices which are allowed in the cavity is determined. In addition, the surface barrier field for flux entrance into the cavity is calculated.

In this article, we analyse the ontological import of adding classes to set theories. We assume that this increment is well represented by going from ZF system to

No abstract

Agradeço aos meus pais, Roberto e Maria Luiza, aos meus irmãos Raphael e Raquel, à minha esposa Carolinne e à minha filha Ana Luiza pelo suporte que me propiciaram em todos esses anos, sem o qual a realização do presente trabalho não seria possível.