This paper characterizes the covers of varieties of p-algebras in the lattice of quasivarieties of p-algebras. In particular, it is shown that every such variety has exactly one cover in the lattice of subquasivarieties. This answers a problem of Kowalski and Słomczyńska.
La ontología de Gilles Deleuze usa en su estructura de manera central los conceptos de virtualidad y actualidad. En la primera parte de este texto explico una acepción básica de tales conceptos. En la segunda parte preciso tal acepción bajo las explicaciones que Deleuze da de esos conceptos frente a las nociones de real y posible. Mi propósito es mostrar cómo en la articulación de los cuatro términos, virtual, actual, real y posible están implicados los razonamientos modales del autor.
In \cite{HK}, Hayut and Karagila asked some questions about uniform ultrafilters in a choiceless context. We provide several answers to their questions.
El presente artículo reflexivo explora tres conceptos vinculados al enfoque praxeológico, desarrollado por el filósofo Carlos Germán Juliao Vargas, que dan cuenta de su complejidad como método, enfoque y proyecto de vida: lo ético, lo estético y lo político; para ello toma, como ejemplo iluminador, el llamado “taller praxeológico”. La perspectiva epistémica sobre la cual se piensa en este texto, se desarrolla en un marco de transdisciplinariedad, indocilidad reflexiva y pensamiento complejo. El desarrollo del artículo se ha propuesto en tres acápites: a) la ética en el enfoque praxeológico; b) la praxeología como estética de la existencia; c) las implicaciones políticas del enfoque praxeológico. La reflexión conduce a que la praxeología parece tener un amplio espectro que merece seguir investigándose desde lo interdisciplinar para seguir descubriendo sus alcances (dada su función multivalente); en otros términos, que hay una complejidad sensible desde la cual es posible evidenciar otros temas, conceptos, formas, mecanismos y herramientas toda vez que se trata de un enfoque, modelo y método aún en proceso constructivo.
We show that Kunen's saturated ideal over $\aleph_1$ is not centered. We also evaluate the extent of saturation of Laver's saturated ideal in terms of $(κ,λ,<ν)$-saturation.
Assuming that $0^\dagger$ does not exist, we prove that if there is a partition of $\mathbb R$ into $\aleph_ω$ Borel sets, then there is also a partition of $\mathbb R$ into $\aleph_{ω+1}$ Borel sets.
It is consistent that ZF+DC holds, the hypergraph of rectangles on a given Euclidean space has countable chromatic number, while the hypergraph of equilateral triangles in two-dimensional Euclidean space does not.
In this note we axiomatize the $Π_{k+1}$-consequences in the set theory ${\sf KP}Π_{N}$ for $Π_{N}$-reflecting universes in terms of iterations of $Π_{i}$-recursively Mahlo operations for $1\leq k\leq i<N$.
A description of all subsemigroups of $M_2(\mathbb{C})$ which are given by a countable intersection of constructible sets is given. Furthermore, it is shown that they are intersections of constructible semigroups.
We prove that there are single Henkin quantifiers such that first order logic augmented by one of these quantifiers is undecidable in the empty vocabulary. Examples of such quantifiers are given.
The paper proves a conjecture of Solomon Feferman concerning the indefiniteness of the continuum hypothesis relative to a semi-intuitionistic set theory.
We investigate different aspects of independence here, in the context of theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues, and in the context of preferential reasoning.