Preguntas ciencias de model-theory

2

1Resp

118Vistas

En qué sentido es forzar "imposible" en $L$?

Resuelta

Preguntado el 3 de Julio, 2024 por Eric Brown

6

1Resp

387Vistas

¿La composición transfinita de monomorfismos es un monomorfismo?

Resuelta

Preguntado el 3 de Agosto, 2019 por CWL

26

0Resp

561Vistas

Subgrupos definidos por fórmulas negativas

Resuelta

Preguntado el 3 de Octubre, 2020 por Ali Nesin

9

1Resp

266Vistas

¿Los ideales precipitados "siempre" vienen de colapsos?

Resuelta

Preguntado el 27 de Marzo, 2024 por user1068636

27

1Resp

1582Vistas

Complejidad cuantificadora de la definición de continuidad de funciones

Resuelta

Preguntado el 20 de Agosto, 2023 por JamesGecko

5

1Resp

154Vistas

Modelo interno con un bien ordenamiento $\mathit{\Delta}^1_3$-bueno de los reales

Resuelta

Preguntado el 18 de Mayo, 2023 por user141146

6

1Resp

765Vistas

¿Son únicas homotópicamente las sustituciones cofibrantes / fibrantes?

Resuelta

Preguntado el 17 de Septiembre, 2013 por Aleksandr Levchuk

2

2Resp

88Vistas

Hipótesis que implican total categoricidad

Resuelta

Preguntado el 28 de Febrero, 2018 por Paciv

39

1Resp

1312Vistas

¿Tiene alguna teoría completa incontable exactamente dos modelos numerables?

Resuelta

Preguntado el 4 de Junio, 2019 por Teitoku42

4

1Resp

495Vistas

Simetrías de sabor de las matrices de masa de neutrinos y leptones cargados

Resuelta

Preguntado el 12 de Diciembre, 2016 por Russell C.

1

1Resp

46Vistas

Teoría del modelo, construcción de un modelo con ciertas propiedades

Resuelta

Preguntado el 29 de Mayo, 2016 por MrTopology

2

1Resp

310Vistas

Estructura de modelo local en prehaces simpliciales

Resuelta

Preguntado el 19 de Marzo, 2012 por Carl Seleborg

2

1Resp

200Vistas

¿Cuál fue la motivación para pensar que la interacción débil podría ser descrita por una teoría de Yang-Mills?

Resuelta

Preguntado el 14 de Julio, 2020 por jamesdlin

5

1Resp

340Vistas

Campo ordenado arquimediano y no expresable en lógica de primer orden

Resuelta

Preguntado el 10 de Noviembre, 2020 por dre rt

4

1Resp

125Vistas

$\otimes$ - productos de tipos globales en $\text{RCF}$

Resuelta

Preguntado el 25 de Julio, 2021 por Atticus Stonestrom

17

1Resp

249Vistas

Correspondencia entre clases de categorías de modelos y clases de $\infty$-categorías

Resuelta

Preguntado el 1 de Octubre, 2019 por dherrera

2

1Resp

203Vistas

Demostrar la categoría modelo de complejos de cadenas

Resuelta

Preguntado el 8 de Agosto, 2016 por userZ617

3

1Resp

218Vistas

Una axiomatización de la Lógica de Segundo Orden (completa) con un sistema de prueba decidible no puede ser completa; ¿es esto cierto si solo requerimos semi-decidibilidad?

Resuelta

Preguntado el 14 de Junio, 2018 por El cero

3

1Resp

86Vistas

¿Es la clase de monoides embebibles en grupo una clase axiomatizable?

Resuelta

Preguntado el 18 de Junio, 2015 por user107952

2

1Resp

196Vistas

Significado de una secuencia perfecta de un gráfico

Resuelta

Preguntado el 17 de Diciembre, 2011 por user5795

3

1Resp

58Vistas

Prueba del teorema 2.1 y conclusión 2.2 en Sh:31 (Categoricidad de teorías no numerables)

Resuelta

Preguntado el 30 de Mayo, 2023 por HorribleATMath

2

1Resp

56Vistas

La categoría homotópica de Bergner de caterorías enriquecidas simplicialmente es cartesiana cerrada

Resuelta

Preguntado el 30 de Octubre, 2018 por kbeal2k

3

1Resp

230Vistas

Las inclusiones de complejos CW son cofibraciones.

Resuelta

Preguntado el 18 de Mayo, 2015 por Marco A. Pivetta

44

1Resp

1509Vistas

Distinción de grupos no isomorfos con una propiedad teórica de grupos

Resuelta

Preguntado el 9 de Octubre, 2020 por Himanshi

1

1Resp

68Vistas

Un "principio de transferencia" entre modelos de $\mathbf{ZF+AR}$ y $\mathbf{ZF}$

Resuelta

Preguntado el 9 de Noviembre, 2019 por eznme

4

2Resp

274Vistas

¿Es la teoría del campo racional ordenado contablemente categórica?

Resuelta

Preguntado el 1 de Mayo, 2021 por user107952

2

1Resp

82Vistas

Las cofibraciones inducen fibraciones entre espacios cartográficos simpliciales en una categoría modelo simplicial

Resuelta

Preguntado el 21 de Julio, 2019 por Likun

4

1Resp

271Vistas

Inuición sobre Lowenheim-Skolem aplicada a modelos de teoría de conjuntos

Resuelta

Preguntado el 13 de Junio, 2014 por goblin

46

1Resp

2134Vistas

Resolución de informes contradictorios sobre Fermilab $g-2$ Resultados

Resuelta

Preguntado el 8 de Abril, 2021 por Kai

2

1Resp

80Vistas

Existencia de cierta factorización del mapa simplicial

Resuelta

Preguntado el 13 de Marzo, 2020 por CuriousKid7

Preguntas ciencias model-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

En qué sentido es forzar "imposible" en $L$?

¿La composición transfinita de monomorfismos es un monomorfismo?

Subgrupos definidos por fórmulas negativas

¿Los ideales precipitados "siempre" vienen de colapsos?

Complejidad cuantificadora de la definición de continuidad de funciones

Modelo interno con un bien ordenamiento $\mathit{\Delta}^1_3$-bueno de los reales

¿Son únicas homotópicamente las sustituciones cofibrantes / fibrantes?

Hipótesis que implican total categoricidad

¿Tiene alguna teoría completa incontable exactamente dos modelos numerables?

Simetrías de sabor de las matrices de masa de neutrinos y leptones cargados

Teoría del modelo, construcción de un modelo con ciertas propiedades

Estructura de modelo local en prehaces simpliciales

¿Cuál fue la motivación para pensar que la interacción débil podría ser descrita por una teoría de Yang-Mills?

Campo ordenado arquimediano y no expresable en lógica de primer orden

$\otimes$ - productos de tipos globales en $\text{RCF}$

Correspondencia entre clases de categorías de modelos y clases de $\infty$-categorías

Demostrar la categoría modelo de complejos de cadenas

Una axiomatización de la Lógica de Segundo Orden (completa) con un sistema de prueba decidible no puede ser completa; ¿es esto cierto si solo requerimos semi-decidibilidad?

¿Es la clase de monoides embebibles en grupo una clase axiomatizable?

Significado de una secuencia perfecta de un gráfico

Prueba del teorema 2.1 y conclusión 2.2 en Sh:31 (Categoricidad de teorías no numerables)

La categoría homotópica de Bergner de caterorías enriquecidas simplicialmente es cartesiana cerrada

Las inclusiones de complejos CW son cofibraciones.

Distinción de grupos no isomorfos con una propiedad teórica de grupos

Un "principio de transferencia" entre modelos de $\mathbf{ZF+AR}$ y $\mathbf{ZF}$

¿Es la teoría del campo racional ordenado contablemente categórica?

Las cofibraciones inducen fibraciones entre espacios cartográficos simpliciales en una categoría modelo simplicial

Inuición sobre Lowenheim-Skolem aplicada a modelos de teoría de conjuntos

Resolución de informes contradictorios sobre Fermilab $g-2$ Resultados

Existencia de cierta factorización del mapa simplicial

Etiquetas mas usadas

i-Ciencias.com

Powered by: