We provide a general abstract statement of the Massicot-Wagner method: our main result is an assymetric version (i.e. a version for group actions) of the recursive Massicot-Wagner argument.
We obtain a relatively simple criterion for when a forcing has the ${<}\,δ$-approximation property, generalizing a result of Unger. Afterwards we apply this criterion to construct variants of Mitchell Forcing in order to answer questions posed by Mohammadpour.
In order to facilitate historical research in logic, we provide an english translation of a french article by Cha{ï}m Perelman, called 'L'antinomie de M. G{ö}del', published in the Bulletins de l'Acad{é}mie royale de Belgique in 1936.
Alejandra Pizarnik fue una observadora extraordinaria. Su apuesta formal se inscribe en una tradición radicalmente visual y transgresora que se interroga –como uno de los personajes de Los poseídos entre lilas– sobre “el don de la mirada”. Los experimentos dadaístas, las reflexiones de Breton en torno a la pintura y los textos de Bataille sobre el ojo dejaron huellas en sus escritos. Pero sus imágenes poéticas –a las que llamaba “visiones”, siguiendo una consigna de Rimbaud– se inspiran también en las figuras híbridas de El Bosco, los Caprichos de Goya, la automutilación de Van Gogh, los dibujos mezcalianos de Michaux y la violencia de los manuscritos de Artaud. Además de una estética perturbadora, Pizarnik toma herramientas y técnicas de estos artistas. Las páginas siguientes intentan explorar su laboratorio de escritura como atelier y sala de montaje, exponiendo los materiales con los que elabora su obra y los principios constructivos de su poética. La operación teórica que lleva a cabo Pizarnik en el campo de la imagen permite comprender la plasticidad de una escritura que se despliega en un continuo deslizamiento entre dos lenguajes.
Let $T$ be a countable complete first-order theory with a definable, infinite, discrete linear order. We prove that $T$ has continuum-many countable models. The proof is purely first-order, but raises the question of Borel completeness of $T$.
On the basis of elementary thinking about language functioning, a solution of truth paradoxes is given and a corresponding semantics of a truth predicate is founded. It is shown that it is precisely the two-valued description of the maximal intrinsic fixed point of the strong Kleene three-valued semantics.
In this article we present a technique for selecting models of set theory that are complete in a model-theoretic sense. Specifically, we will apply Robinson infinite forcing to the collections of models of ZFC obtained by Cohen forcing. This technique will be used to suggest a unified perspective on generic absoluteness principles.
Constitucionalmente el proceso electoral colombiano se ha desarrollado en dos instancias, estas conocidas como ordinaria y las nuevas elecciones o atípicas; adicionalmente, la promoción y protección del derecho a la participación democrática, tal como lo establece la nueva Ley 1757 del 6 julio de 2015, que busca que la ciudadanía cuente con herramientas constitucionales que le permitan acceder a los mecanismos de participación ciudadana, estos conocidos como referendo, iniciativa legislativa y normativa, plebiscito, consultas populares, asamblea constituyente y cabildo abierto. Los grandes avances en materia de comunicaciones, plataformas multimedia, métodos de aprendizaje interactivos y con los cambios que se materialicen como las nuevas herramientas presenciales, implicarán procesos de formación dinámicos, en relación con sus actuaciones y requisitos, lo que cada actor del proceso electoral debe saber en relación con su caracterización. Por consiguiente, la relevancia en materia de capacitación cruzada o transversal dirigida a todos los actores, nos lleva a plantear la hipótesis entre lo virtual y lo presencial, bondades compartidas, riesgos inherentes propios de cada opción, y la incorporación de herramientas tecnológicas para el manejo de la información, herramientas para el buen desempeño en las diferentes actividades donde así lo amerite la sociedad digital del siglo XXI.
Confusion over the predicativist conception of well-ordering pervades the literature and is responsible for widespread fundamental misconceptions about the nature of predicative reasoning. This short note aims to explain the principal fallacy, first noted in [N. Weaver, Predicativity beyond Gamma_0, arXiv:math/0509244], and some of its consequences.
The blog is somewhat shorter than in previous years, It contains new insights in a variety of areas, including computability, quantum algorithmic version of the SMB theorem, descriptions of groups (both discrete and profinite), metric spaces. There are also lots of open questions in computability, randomness, and computable model theory.
We introduce and axiomatize the notion of a reflective cardinal, use it to give semantics to higher order set theory, and explore connections between the notion of reflective cardinals and large cardinal axioms.
In this note we will introduce a class of search problems, called nested Polynomial Local Search (nPLS) problems, and show that definable NP search problems, i.e., $Σ^b_1$-definable functions in $T^2_2$ are characterized in terms of the nested PLS.
Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in its natural signature. We characterize the definable linear operators on H as exactly the "scalar plus compact" operators.