Hasil untuk "math.LO"

Stefan Hoffelner

We show that given a reflecting cardinal, one can produce a model of $\mathsf{BPFA}$ where the $Σ^1_n$-uniformization property holds simultaneously for all $n \ge 2$.

Karim Khanaki

We study generically stable types/measures in both classical and continuous logics, and their connection with randomization and modes of convergence of types/measures.

Mariana Vicaria

In this paper we study domination in an Ax-Kochen/Ershov style results for henselian valued fields of equicharacteristic zero for elements in the home sort.

Grigor Sargsyan

We show that in extender models there are no generic embeddings with critical point $ω_1$ that resemble the stationary tower at the second Woodin cardinal.

Yuan Wang, Jian Yong Qiao, Jing Yang

Yoselin García Colina

El talento humano constituye un factor fundamental para el desarrollo de la institucionalidad venezolana, ya que interviene de manera directa en el seguimiento a las políticas de un sistema de gobierno y que incide en la gestión pública. Se hace necesario políticas que transfiguren la gestión del personal desde la formalidad institucional enmarcada en el proceso social de trabajo, para responder a las demandas de las comunidades, resulta una tarea obligada la elaboración y ejecución de modelos organizacionales que respondan a la gestión de talento humano de una manera integrada, sistémica y estrechamente vinculada entre las necesidades colectivas de desarrollo y las individuales de crecimiento, para lograr mejores profesionales formados bajo este paradigma de gestión emergente, contribuyendo a satisfacer las necesidades como motor en la administración y distribución de los recursos del estado y que se determinen por la capacidad de respuesta de los entes que conduzca hacia el desarrollo.

J K Truss

We discuss the connections between the failure of the axiom of choice in set theory, and certain model-theoretic structures with enough symmetry.

Adriana Minardi

Ali Sadegh Daghighi, Massoud Pourmahdian

We present several results concerning Shelah cardinals.

Reihane Zoghifard, Massoud Pourmahdian

This paper involves generalizing the Goldblatt-Thomason and the Lindström characterization theorems to first-order modal logic.

Timothy Carlson

This is the first of two papers establishing structural properties of ${\cal R}_2$.

Timothy Carlson

This is the second of two papers establishing structural properties of ${\cal R}_2$.

Timothy Carlson

The strength of an extension of Kruskal's Theorem to certain pairs of cohabitation trees is calibrated.

Xiaojing Yang, Kueiming Lo

Boban Velickovic

We apply Neeman's method of forcing with side conditions to show that PFA does not imply the precipitousness of the nonstationary ideal on $ω_1$.

Tarek Sayed Ahmed

We prove several representation theorems for infinitary predicate modal logic

Adam Harris

We give a short proof of the main algebraic result of \cite{zilber2006covers}, also known as the `thumbtack lemma'.

Egbert Thümmel

In 1948 A. Horn and A. Tarski asked whether the notions of a σ-finite cc and a σ-bounded cc ordering are equivalent. We give a negative answer to this question.

Christian Rinaudo

Cédric Milliet

It is shown that, modulo an equivalence relation induced by finite correspondences preserving Cantor rank, the class of topological spaces is an integral semi-ring on which the Cantor derivative is precisely a derivation.