This short note introduces a formal system of truth and paradoxicality, outlining the main motivation, and proving its $ω$-consistency. The system is called TP, for 'Truth and Paradoxicality'.
In this paper we show that the existence of Kuratowski partitions of Hausdorff Baire space is equivalent to the existence of point-finite covers of the same space.
We consider some of the various formulations of the Revised GCH Theorem presented in Shelah's original paper \cite{SheRGCH}. We compare them and discuss their meaning.
We demonstrate that an expansion of a semi-bounded o-minimal expansion of the ordered group of reals by an increasing geometric progression is locally o-minimal.
The aim of this short note is to provide a proof to a statement of Sierpiński concerning the number of possible sums of a series (of type $λ<\aleph_1$) of arbitrary ordinal numbers.
El texto de la Dra. Forestello presenta e indaga, sobre la base de su tesis doctoral, los elementos para la Formación Docente en época de cultura digital. Desde sus inicios la tesis tuvo la intención de conectar la voz de experto/as en el campo de la Tecnología Educativa (TE) y la formación docente (FD), en el contexto de las políticas educativas públicas argentinas desde los ‘90 hasta la actualidad.
Assuming $κ$ is a supercompact cardinal and $λ$ is an inaccessible cardinal above it, we present an idea due to Magidor, to find a generic extension in which $κ=\aleph_ω$ and $λ=\aleph_{ω+1}.$
We describe a variation of Ash's $η$-system, and give a new proof of Ash's metatheorem. As an application, we prove a generalization of Ash and Knight's theorem on pairs of structures.
In this paper we show that the lengths of the approximating processes in epsilon substitution method are calculable by ordinal recursions in an optimal way.
A model with a sequence of indiscernibles depending on a particular precovering set is constructed.The initial assumption is as follows: for every n<omega the set {alpha | o(alpha)=alpha^+n } is unbounded in kappa.