We revisit the proof of solidity of KM (Kelley-Morse theory of classes), as presented in the 2016 paper "Variations on a Visserian theme", so as to indicate the role of the scheme of class collection in the proof.
Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.
We prove that Arithmetical Comprehension is equivalent to the determinacy of all clopen integer games in which each player has at most two moves per turn.
En la última década, un renovado interés por el mundo rural ha definido algunas de las propuestas más exitosas del cine español. Esta tendencia se ha denominado neorrural, y define a películas como Alcarràs (Carla Simón, 2022), As bestas (Rodrigo Sorogoyen, 2022) o 20.000 especies de abejas (Estibaliz Urresola Solaguren, 2023). Este artículo sintetiza algunas de las aproximaciones contemporáneas a lo rural y se centra en un tipo de estética que trata estos espacios desde una visión abstracta, a medio camino entre lo figural y lo contemplativo, entre el cine experimental y el movimiento internacional conocido como slow cinema. Una propuesta que va más allá del interés narrativo o sociológico por lo rural. Finalmente se analizan dos filmes fundamentales para comprender esta tendencia estética: Pacifiction(Albert Serra, 2022) y Samsara (Lois Patiño, 2023). Para el análisis se propone un estudio comparativo de ambos filmes dividido en tres bloques: el tratamiento de lo local, la manera de filmar la naturaleza y su experimentación con las formas visuales y sonoras.
We give an elementary proof that in a Borel family of games, the set of games for which player II has a winning strategy is Baire measurable, universally measurable, and completely Ramsey in the case where $X = [\mathbb{N}]^{\aleph_0}$.
We have a quick look at various finite model properties for residuated semigroups. In particular, we solve Problem 19.17 from Relation Algebras by Games by Hirsch and Hodkinson.
El caso de las iglesias ortodoxas y orientales en España resulta paradigmático para comprender la incidencia de los movimientos migratorios y las diásporas transnacionales sobre las particularidades nacionales de los distintos patriarcados presentes, que en la esfera pública se interrelacionan en mayor o menor grado en un contexto marcado por el pluralismo religioso, la aconfesionalidad del Estado y la libertad religiosa consagrada como derecho fundamental. El objetivo general del artículo es, a partir del convulso panorama internacional generado por conflictos como el ruso-ucraniano, analizar la interacción actual de estas iglesias y sus principales dinámicas al hilo de los flujos migratorios transnacionales, tales como el aumento de los números de fieles y de templos y los cambios en las estructuras eclesiásticas de representación e interlocución pública. Para ello, el abordaje metodológico del trabajo atenderá a distintos casos representados por iglesias nacionales, como la rumana y la rusa; “autóctonas”, casos de la Iglesia Ortodoxa Española y de la Iglesia Ortodoxa Hispánica; y pan-ortodoxas, como la griega; además de un conjunto de iglesias “recién llegadas” que, por el momento, cuentan con un menor volumen y grado de implantación.
In this paper we present the generalizations of results, given in the paper published in Georgian J. Math. 26(2019) no. 4, pp 591-598, towards point-finite families.
We argue against Foreman's proposal to settle the continuum hypothesis and other classical independent questions via the adoption of generic large cardinal axioms.
It is proven that an infinite finitely generated group cannot be elementarily equivalent to an ultraproduct of finite groups of a given Prüfer rank. Furthermore, it is shown that an infinite finitely generated group of finite Prüfer rank is not pseudofinite.
An equational condition is a set of equations in an algebraic language, and an algebraic structure satisfies such a condition if it possesses terms that meet the required equations. We find a single nontrivial equational condition which is implied by any nontrivial idempotent equational condition.
Motivated by a question of Di Nasso, we prove that Hindman's theorem is equivalent to the existence of idempotent types in countable complete extensions of Peano Arithmetic.
In this note we axiomatize the classes of rudimentary functions, primitive recursive functions, safe recursive set functions, and predicatively computable functions.
We show that any countable model of a model complete theory has an elementary extension with a "pseudofinite-like" quasidimension that detects dividing.
We define the notion of sheaf in the context of doctrines. We prove the associate sheaf functor theorem. We show that grothendieck toposes and toposes obtained by the tripos to topos construction are instances of categories of sheaves for a suitable doctrine.
We obtain an improvement of some coloring theorems from \cite{nsbpr}, \cite{819}, and \cite{APAL} for the case where the singular cardinal in question has countable cofinality. As a corollary, we obtain an "idealized" version of the combinatorial principle $\pr_1(μ^+,μ^+,μ^+,\cf(μ))$ that maximizes the indecomposability of the associated ideal.
We force $2^λ$ to be large and for many pairs in the interval $(λ,2^λ)$ a stronger version of the polarized partition relations hold. We apply this toproblem in general topology