We give a model-theoretic perspective on regular ultrafilter construction in the twentieth and twenty-first century (so far), and explain the "canonical Boolean algebra" recently developed by Malliaris and Shelah.
Dreher escribe “La percepción psicoanalítica sin conceptos psicoanalíticos adecuados es ciega, los conceptos psicoanalíticos sin referencia a fenómenos psicoanalíticos relevantes están vacíos”, explicando que la investigación conceptual en psicoanálisis es una en la cual se encuentran entrelazadas la dimensión conceptual y la empírica. Este escrito aborda el tema de analizabilidad por medio de afinar la especificidad del psicoanálisis en relación a la psicoterapia, y de considerar que las fronteras de lo tratable y del psicoanálisis retroceden en armonía con los ideales súperyoicos de la analista.
The outline of a programme for restructuring mathematical logic. We explain what we mean by "restructuring" and carry out exemplary parts of the programme.
This year's logic blog has focussed on: 1. Demuth randomness 2. traceability 3. The connection of computable analysis and randomness 4. $K$-triviality in metric spaces.
We extend theories of reverse mathematics by a non-principal ultrafilter, and show that these are conservative extensions of the usual theories ACA0, ATR0, and Pi11-Comprehension.
We prove that $μ=μ^{<μ}$, $2^μ=μ^+$ and ``there is a non reflecting stationary subset of $μ^+$ composed of ordinals of cofinality $<μ$'' imply that there is a $μ$-complete Souslin tree on $μ^+$.
We show that the Dual Borel Conjecture implies that ${\mathfrak d}> \aleph_1$ and find some topological characterizations of perfectly meager and universally meager sets.