Preguntas del usuario 77036

26

5Resp

1105Vistas

Teorías alternativas del sistema

Resuelta

Preguntado el 15 de Marzo, 2013 por Njax3SmmM2x2a0Zf7Hpd

16

2Resp

376Vistas

La (onu)decidability de Robinson-Aritmética-sin-la Multiplicación?

Abierta

Preguntado el 21 de Julio, 2014 por Njax3SmmM2x2a0Zf7Hpd

16

1Resp

595Vistas

Mendelson $\mathit{Mathematical\ Logic}$ y la falta de Apéndice sobre la consistencia de PA

Resuelta

Preguntado el 27 de Enero, 2013 por Njax3SmmM2x2a0Zf7Hpd

16

1Resp

416Vistas

Que no es la función recursiva primitiva ' t $\Delta_0$

Resuelta

Preguntado el 17 de Abril, 2013 por Njax3SmmM2x2a0Zf7Hpd

16

2Resp

301Vistas

Dos estilos de la semántica de primer orden lenguaje: ¿qué elegir?

Abierta

Preguntado el 1 de Septiembre, 2013 por Njax3SmmM2x2a0Zf7Hpd

18

2Resp

474Vistas

' Tienes la cabeza redonda de teoría básica de la categoría: ¿por qué mirar mónadas a continuación?

Resuelta

Preguntado el 11 de Noviembre, 2015 por Njax3SmmM2x2a0Zf7Hpd

14

1Resp

271Vistas

¿Existe un argumento más rápido desde las condiciones de derivabilidad de HBL hasta la equivalencia de puntos fijos de $\neg\Box$ a $\mathsf{Con}$ ?

Resuelta

Preguntado el 20 de Enero, 2013 por Njax3SmmM2x2a0Zf7Hpd

10

1Resp

288Vistas

El primero que se indique explícitamente que los de segundo orden, la lógica es unaxiomatizable?

Abierta

Preguntado el 22 de Noviembre, 2012 por Njax3SmmM2x2a0Zf7Hpd

16

2Resp

315Vistas

Isomorfismos naturales: ¿cuál es la situación actual de la "tesis de Eilenberg/Mac Lane"?

Abierta

Preguntado el 9 de Julio, 2015 por Njax3SmmM2x2a0Zf7Hpd

20

3Resp

527Vistas

¿Cuál es un buen ejemplo motivador para el concepto de categoría de rodajas?

Resuelta

Preguntado el 28 de Octubre, 2014 por Njax3SmmM2x2a0Zf7Hpd

8

2Resp

510Vistas

¿Qué es la herramienta de selección en la del ArcGIS Spatial Analyst comúnmente utilizado para?

Resuelta

Preguntado el 29 de Septiembre, 2014 por Njax3SmmM2x2a0Zf7Hpd

9

1Resp

313Vistas

Hacer hom-conjuntos de vivir realmente en el Conjunto de la categoría?

Abierta

Preguntado el 20 de Enero, 2015 por Njax3SmmM2x2a0Zf7Hpd

8

2Resp

182Vistas

¿Qué es un buen "naturalmente" ejemplo de una flecha categoría?

Abierta

Preguntado el 11 de Octubre, 2015 por Njax3SmmM2x2a0Zf7Hpd

6

2Resp

174Vistas

Ejemplos de functores que conserva los productos pero no ecualizadores, y viceversa.

Resuelta

Preguntado el 25 de Marzo, 2015 por Njax3SmmM2x2a0Zf7Hpd

7

1Resp

124Vistas

¿Estudio de variedades de análisis no estándar?

Abierta

Preguntado el 2 de Febrero, 2016 por Njax3SmmM2x2a0Zf7Hpd

7

1Resp

175Vistas

¿Símbolo para la asignación de un valor de verdad?

Abierta

Preguntado el 13 de Enero, 2018 por Njax3SmmM2x2a0Zf7Hpd

6

3Resp

152Vistas

Categorías con algunos pero no todos los exponenciales

Resuelta

Preguntado el 1 de Septiembre, 2015 por Njax3SmmM2x2a0Zf7Hpd

5

2Resp

235Vistas

Una prueba de que el derecho adjoints preservar los límites?

Abierta

Preguntado el 14 de Julio, 2015 por Njax3SmmM2x2a0Zf7Hpd

7

1Resp

153Vistas

Los últimos conjuntos de notas/recién disponible en línea libros en la categoría de teoría?

Abierta

Preguntado el 1 de Febrero, 2018 por Njax3SmmM2x2a0Zf7Hpd

10

1Resp

140Vistas

Cómo probar adjunctions componer (a través de unidades y counits)?

Resuelta

Preguntado el 6 de Junio, 2015 por Njax3SmmM2x2a0Zf7Hpd

37

3Resp

1335Vistas

Preguntas simples/naturales en teoría de grupos cuyas respuestas dependen de la teoría de conjuntos

Abierta

Preguntado el 5 de Marzo, 2020 por Njax3SmmM2x2a0Zf7Hpd

Preguntas del usuario 77036

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Teorías alternativas del sistema

La (onu)decidability de Robinson-Aritmética-sin-la Multiplicación?

Mendelson $\mathit{Mathematical\ Logic}$ y la falta de Apéndice sobre la consistencia de PA

Que no es la función recursiva primitiva ' t $\Delta_0$

Dos estilos de la semántica de primer orden lenguaje: ¿qué elegir?

' Tienes la cabeza redonda de teoría básica de la categoría: ¿por qué mirar mónadas a continuación?

¿Existe un argumento más rápido desde las condiciones de derivabilidad de HBL hasta la equivalencia de puntos fijos de $\neg\Box$ a $\mathsf{Con}$ ?

El primero que se indique explícitamente que los de segundo orden, la lógica es unaxiomatizable?

Isomorfismos naturales: ¿cuál es la situación actual de la "tesis de Eilenberg/Mac Lane"?

¿Cuál es un buen ejemplo motivador para el concepto de categoría de rodajas?

¿Qué es la herramienta de selección en la del ArcGIS Spatial Analyst comúnmente utilizado para?

Hacer hom-conjuntos de vivir realmente en el Conjunto de la categoría?

¿Qué es un buen "naturalmente" ejemplo de una flecha categoría?

Ejemplos de functores que conserva los productos pero no ecualizadores, y viceversa.

¿Estudio de variedades de análisis no estándar?

¿Símbolo para la asignación de un valor de verdad?

Categorías con algunos pero no todos los exponenciales

Una prueba de que el derecho adjoints preservar los límites?

Los últimos conjuntos de notas/recién disponible en línea libros en la categoría de teoría?

Cómo probar adjunctions componer (a través de unidades y counits)?

Preguntas simples/naturales en teoría de grupos cuyas respuestas dependen de la teoría de conjuntos

Etiquetas mas usadas

i-Ciencias.com

Powered by: