Rami Grossberg

Matemático estadounidense
Rami Grossberg
El amor es mío
OcupaciónProfesor
CónyugeMónica VanDieren
Antecedentes académicos
EducaciónDoctorado por la Universidad de Jerusalén (1986)
Trabajo académico
DisciplinaMatemáticas
SubdisciplinaTeoría de modelos
InstitucionesUniversidad Carnegie Mellon
Estudiantes de doctoradoMónica VanDieren

Rami Grossberg ( hebreo : רמי גרוסברג ) es profesor titular de matemáticas en la Universidad Carnegie Mellon y trabaja en teoría de modelos .

Trabajar

El trabajo de Grossberg en los últimos años ha girado en torno a la teoría de clasificación de clases no elementales. En particular, ha proporcionado, en un trabajo conjunto con Monica VanDieren , una prueba de un " Teorema de categoricidad de Morley " ascendente (una versión de la conjetura de categoricidad de Shelah) para Clases Elementales Abstractas con la propiedad de amalgamación, que son mansas . En otro trabajo con VanDieren, también iniciaron el estudio de Clases Elementales Abstractas mansas . La mansedumbre es tanto una propiedad técnica crucial en las pruebas de transferencia de categoricidad como una noción independiente de interés en el área; ha sido estudiada por Baldwin, Hyttinen, Lessmann, Kesälä, Kolesnikov, Kueker, entre otros. Otros resultados incluyen una mejor aproximación a la conjetura de brecha principal para AECs (con Olivier Lessmann), la identificación de AECs con JEP, AP, modelos no maximalistas y mansedumbre como el análogo incontable a las construcciones de Fraïssé (con VanDieren), un teorema de espectro de estabilidad y la existencia de secuencias de Morley para esas clases (también con VanDieren). Además de este trabajo sobre la conjetura de categoricidad, más recientemente, con Boney y Vasey, se ha obtenido una nueva comprensión de los marcos en AECs y la bifurcación (en el entorno de clase elemental abstracta).

Algunos de los trabajos de Grossberg pueden entenderse como parte del gran proyecto sobre las destacadas conjeturas de categoricidad de Saharon Shelah :

Conjetura 1. (Categoricidad para ). Sea una oración . Si es categórica en un cardinal entonces es categórica en todos los cardinales . Véase lógica infinitaria y número Beth . yo ω 1 , ω {\displaystyle {\mathit {L}}_{{\omega _{1}},\omega }} ψ {\estilo de visualización \psi} ψ {\estilo de visualización \psi} > ω 1 {\displaystyle \;>\beth _{\omega _{1}}} ψ {\estilo de visualización \psi} > ω 1 {\displaystyle \;>\beth _{\omega _{1}}}

Conjetura 2. (Categoricidad para AEC) Véase [1] y [2]. Sea K un AEC. Existe un cardinal μ ( K ) tal que la categoricidad en un cardinal mayor que μ ( K ) implica categoricidad en todos los cardinales mayores que μ ( K ). Además, μ ( K ) es el número de Hanf de  K .

Otros ejemplos de sus resultados en teoría de modelos puros incluyen: generalizar el teorema de omisión de tipos de Keisler-Shelah para a sucesores de cardinales singulares; con Shelah, introducir la noción de no superestabilidad para lógicas infinitarias y demostrar un teorema de no estructura, que se utiliza para resolver un problema de Fuchs y Salce en la teoría de módulos; con Hart, demostrar un teorema de estructura para , que resuelve la conjetura de Morley para clases excelentes; y la noción de saturación relativa y su conexión con la conjetura de Shelah para . yo ( Q ) {\displaystyle {\mathit {L(Q)}}} yo ω 1 , ω {\displaystyle {\mathit {L}}_{\omega _{1},\omega }} yo ω 1 , ω {\displaystyle {\mathit {L}}_{\omega _{1},\omega }}

Entre los ejemplos de sus resultados en aplicaciones al álgebra se incluyen el hallazgo de que bajo la hipótesis del continuo débil no existe ningún objeto universal en la clase de grupos localmente finitos incontables (respondiendo a una pregunta de Macintyre y Shelah); con Shelah, mostrando que hay un salto en la cardinalidad del grupo abeliano Extp( G , Z ) en el primer cardinal límite fuerte singular.

Vida personal

En 1986, Grossberg obtuvo su doctorado en la Universidad de Jerusalén . [1] Más tarde se casó con su ex alumna de doctorado y colaboradora frecuente, Monica VanDieren . [2]

Referencias

  1. ^ "Rami Grossberg - El proyecto de genealogía matemática". www.genealogy.math.ndsu.nodak.edu . Consultado el 27 de septiembre de 2023 .
  2. ^ Roth, Mark (1 de junio de 2009), "Los pensadores: un profesor de la RMU encuentra belleza en las matemáticas", Pittsburgh Post-Gazette
Obtenido de "https://es.wikipedia.org/w/index.php?title=Rami_Grossberg&oldid=1254645649"