Preguntas del usuario 126592

12

2Resp

284Vistas

Cual de estas construcciones son de izquierda adjoints?

Resuelta

Preguntado el 2 de Febrero, 2014 por Arctictern

13

2Resp

665Vistas

¿El producto de los ideales es conmutativo?

Resuelta

Preguntado el 23 de Junio, 2011 por Arctictern

12

1Resp

626Vistas

Parte real acotada polinómica de una función entera

Resuelta

Preguntado el 19 de Diciembre, 2012 por Arctictern

9

2Resp

254Vistas

Decidability de la consistencia para completar finitely axiomatized teorías?

Abierta

Preguntado el 13 de Junio, 2013 por Arctictern

7

2Resp

429Vistas

Lógica de segundo orden monádica sin constantes, funciones y igualdad

Resuelta

Preguntado el 6 de Abril, 2013 por Arctictern

15

1Resp

1098Vistas

¿Hay modelos simples de los postulados de Euclides que violan el teorema de Pascua o el axioma de Pascua?

Resuelta

Preguntado el 5 de Abril, 2013 por Arctictern

7

2Resp

606Vistas

¿Existe una definición útil de los menores para los dígrafos?

Resuelta

Preguntado el 18 de Agosto, 2011 por Arctictern

8

2Resp

246Vistas

¿Son estos functors del adjoint de la categoría de monoids con homomorphisms facilitándole?

Resuelta

Preguntado el 9 de Marzo, 2014 por Arctictern

7

1Resp

613Vistas

¿Por qué se cuantifica la lógica proposicional no forma parte de la lógica de primer orden?

Resuelta

Preguntado el 25 de Marzo, 2013 por Arctictern

8

3Resp

215Vistas

Propiedades de la comprensión y las críticas de un cálculo sequent (específico)

Abierta

Preguntado el 19 de Octubre, 2013 por Arctictern

6

1Resp

210Vistas

Singularidad de la topología compacta para un grupo de

Resuelta

Preguntado el 15 de Febrero, 2012 por Arctictern

7

1Resp

198Vistas

¿Es ZFC ω-consistente sobre ZF?

Resuelta

Preguntado el 18 de Mayo, 2016 por Arctictern

8

1Resp

151Vistas

¿Son pseudoheaps y montones lo mismo?

Resuelta

Preguntado el 9 de Noviembre, 2015 por Arctictern

5

1Resp

408Vistas

Teoría de conjuntos como teoría de primer orden de pares ordenados

Abierta

Preguntado el 21 de Noviembre, 2012 por Arctictern

6

3Resp

283Vistas

¿Qué teorías de conjuntos sin el axioma del conjunto potencia se utilizan ocasionalmente?

Resuelta

Preguntado el 2 de Junio, 2013 por Arctictern

8

2Resp

492Vistas

¿Qué es el "común" de la definición de modelo de primer orden de la lógica?

Resuelta

Preguntado el 14 de Abril, 2012 por Arctictern

5

1Resp

338Vistas

Puede de segundo orden de la lógica de expresar cada uno (computable) infinitary lógica de la frase?

Resuelta

Preguntado el 3 de Enero, 2013 por Arctictern

4

1Resp

148Vistas

¿Qué significa que un álgebra libre tenga un problema de palabras irresoluble?

Abierta

Preguntado el 15 de Diciembre, 2015 por Arctictern

4

1Resp

139Vistas

Modelo simple de lógica intuicionista (proposicional) para reconocer fórmulas válidas

Resuelta

Preguntado el 9 de Junio, 2016 por Arctictern

5

2Resp

340Vistas

¿Cuál es la menor variedad de álgebras de que contenga todos los campos?

Resuelta

Preguntado el 16 de Marzo, 2012 por Arctictern

4

2Resp

306Vistas

Que número natural predicados pueden ser definidos en la aritmética de Robinson?

Abierta

Preguntado el 12 de Julio, 2014 por Arctictern

2

1Resp

307Vistas

GeoPandas devuelve resultados de unión espacial incorrectos. ¿Problema con GDAL? ¿Problema con GEOS?

Resuelta

Preguntado el 12 de Enero, 2018 por Arctictern

1

3Resp

1551Vistas

¿Es el conjunto de todos los subconjuntos definibles de los números naturales recursivamente enumerable?

Resuelta

Preguntado el 20 de Agosto, 2012 por Arctictern

Preguntas del usuario 126592

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Cual de estas construcciones son de izquierda adjoints?

¿El producto de los ideales es conmutativo?

Parte real acotada polinómica de una función entera

Decidability de la consistencia para completar finitely axiomatized teorías?

Lógica de segundo orden monádica sin constantes, funciones y igualdad

¿Hay modelos simples de los postulados de Euclides que violan el teorema de Pascua o el axioma de Pascua?

¿Existe una definición útil de los menores para los dígrafos?

¿Son estos functors del adjoint de la categoría de monoids con homomorphisms facilitándole?

¿Por qué se cuantifica la lógica proposicional no forma parte de la lógica de primer orden?

Propiedades de la comprensión y las críticas de un cálculo sequent (específico)

Singularidad de la topología compacta para un grupo de

¿Es ZFC ω-consistente sobre ZF?

¿Son pseudoheaps y montones lo mismo?

Teoría de conjuntos como teoría de primer orden de pares ordenados

¿Qué teorías de conjuntos sin el axioma del conjunto potencia se utilizan ocasionalmente?

¿Qué es el "común" de la definición de modelo de primer orden de la lógica?

Puede de segundo orden de la lógica de expresar cada uno (computable) infinitary lógica de la frase?

¿Qué significa que un álgebra libre tenga un problema de palabras irresoluble?

Modelo simple de lógica intuicionista (proposicional) para reconocer fórmulas válidas

¿Cuál es la menor variedad de álgebras de que contenga todos los campos?

Que número natural predicados pueden ser definidos en la aritmética de Robinson?

GeoPandas devuelve resultados de unión espacial incorrectos. ¿Problema con GDAL? ¿Problema con GEOS?

¿Es el conjunto de todos los subconjuntos definibles de los números naturales recursivamente enumerable?

Etiquetas mas usadas

i-Ciencias.com

Powered by: