Moti Gitik

Moti Gitik ( en hebreo : מוטי גיטיק ) es un matemático especializado en teoría de conjuntos y profesor de la Universidad de Tel Aviv . Fue ponente invitado en el Congreso Internacional de Matemáticos de 2002 y se convirtió en miembro de la Sociedad Matemática Americana en 2012. ^{[ 1 ]}

Gitik demostró la consistencia de "todos los cardinales no numerables son singulares " (una fuerte negación del axioma de elección ) a partir de la consistencia de "existe una clase propia de cardinales fuertemente compactos ". Además, demostró la equiconsistencia de las siguientes afirmaciones:

• Existe un cardinal κ con orden de Mitchell κ ⁺⁺ .
• Existe un cardinal medible κ tal que 2 ^κ > κ ⁺ .
• Existe un fuerte límite singular cardinal λ con 2 ^λ > λ ⁺ .
• El GCH se cumple por debajo de ℵ _ω , y 2 ^{ℵ _ω} =ℵ _ω+2 .

Gitik descubrió varios métodos para construir modelos de ZFC con una estructura de aritmética cardinal compleja. Sus principales resultados tratan sobre la consistencia y la equiconsistencia de patrones no triviales de la función de potencia sobre cardinales singulares.

• Gitik, Moti (1986). "Changing Cofinalities and the Nonstationary Ideal" . Israel Journal of Mathematics . 56 (3): 280– 314. doi : 10.1007/BF02782938 .
• Gitik, Moti (1991). "La fuerza del fracaso de la hipótesis cardinal singular" . Anales de lógica pura y aplicada . 51 (3): 215– 240. doi : 10.1016/0168-0072(91)90016-F .
• Gitik, Moti; Magidor, Menachem (1992). «Revisitando la hipótesis del cardinal singular». Teoría de conjuntos del continuo . Publicaciones del Instituto de Investigación en Ciencias Matemáticas. Vol.  26. págs. 243–279 . doi : 10.1007/978-1-4613-9754-0_16 . ISBN  978-1-4613-9756-4.
• Gitik, Moti (1996). "Explotando el poder de un cardinal singular" . Anales de lógica pura y aplicada . 80 (1): 17– 33. arXiv : math/9404204 . doi : 10.1016/0168-0072(95)00046-1 .
• Gitik, Moti (2020). "Forzamientos basados ​​en extensores con extensores superpuestos y negaciones de la hipótesis débil de Shelah". Journal of Mathematical Logic . 20 (3): 2050013. doi : 10.1142/S0219061320500130 . S2CID 46948714 . 

• Moti Gitik en el Proyecto de Genealogía Matemática