Preguntas ciencias de model-theory

3

1Resp

185Vistas

Aplicaciones de la Teoría de Modelos y la Teoría de Categorías

Abierta

Preguntado el 9 de Octubre, 2021 por user850424

4

4Resp

1427Vistas

Modelo de la teoría del campo real cerrado

Resuelta

Preguntado el 29 de Mayo, 2012 por Simara

1

2Resp

109Vistas

¿Por qué son imposibles los modelos de igualdad?

Resuelta

Preguntado el 10 de Abril, 2023 por Terri Simon

24

1Resp

466Vistas

Relaciones que aseguran la continuidad

Resuelta

Preguntado el 17 de Septiembre, 2023 por Z. A. K.

3

1Resp

121Vistas

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

Resuelta

Preguntado el 3 de Julio, 2024 por Eric Brown

7

1Resp

390Vistas

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

Resuelta

Preguntado el 3 de Agosto, 2019 por CWL

26

0Resp

563Vistas

Subgrupos definidos por fórmulas negativas

Resuelta

Preguntado el 3 de Octubre, 2020 por Ali Nesin

9

1Resp

269Vistas

¿Los ideales precipitados "siempre" vienen de colapsos?

Resuelta

Preguntado el 27 de Marzo, 2024 por user1068636

27

1Resp

1584Vistas

Complejidad cuantificadora de la definición de continuidad de funciones

Resuelta

Preguntado el 20 de Agosto, 2023 por JamesGecko

5

1Resp

157Vistas

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

767Vistas

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

Resuelta

Preguntado el 17 de Septiembre, 2013 por Aleksandr Levchuk

2

2Resp

91Vistas

Hipótesis que implican total categoricidad

Resuelta

Preguntado el 28 de Febrero, 2018 por Paciv

39

1Resp

1315Vistas

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

Resuelta

Preguntado el 4 de Junio, 2019 por Teitoku42

4

1Resp

497Vistas

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

49Vistas

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

Resuelta

Preguntado el 29 de Mayo, 2016 por MrTopology

2

1Resp

312Vistas

Estructura de modelo local en prehaces simpliciales

Resuelta

Preguntado el 19 de Marzo, 2012 por Carl Seleborg

2

1Resp

204Vistas

¿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

342Vistas

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

Resuelta

Preguntado el 10 de Noviembre, 2020 por dre rt

4

1Resp

127Vistas

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

Resuelta

Preguntado el 25 de Julio, 2021 por Atticus Stonestrom

17

1Resp

252Vistas

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

205Vistas

Demostrar la categoría modelo de complejos de cadenas

Resuelta

Preguntado el 8 de Agosto, 2016 por userZ617

3

1Resp

220Vistas

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

88Vistas

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

Resuelta

Preguntado el 18 de Junio, 2015 por user107952

2

1Resp

199Vistas

Significado de una secuencia perfecta de un gráfico

Resuelta

Preguntado el 17 de Diciembre, 2011 por user5795

3

1Resp

61Vistas

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

58Vistas

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

232Vistas

Las inclusiones de complejos CW son cofibraciones.

Resuelta

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

44

1Resp

1511Vistas

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

Resuelta

Preguntado el 9 de Octubre, 2020 por Himanshi

1

1Resp

69Vistas

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

Resuelta

Preguntado el 9 de Noviembre, 2019 por eznme

4

2Resp

275Vistas

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

Resuelta

Preguntado el 1 de Mayo, 2021 por user107952

Preguntas ciencias model-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Aplicaciones de la Teoría de Modelos y la Teoría de Categorías

Modelo de la teoría del campo real cerrado

¿Por qué son imposibles los modelos de igualdad?

Relaciones que aseguran la continuidad

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?

Etiquetas mas usadas

i-Ciencias.com

Powered by: