Respuestas del usuario 87114

Puntuación Visitas Fecha
Avatar de Tim Howland

2 votos

¿Aprovechable = probadamente accesible?

Respondido el 7 de Marzo, 2011 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

24 votos

El cofinality real singular cardenales en $L$ en $0^\#$

Respondido el 28 de Julio, 2011 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

3 votos

Secuencias de transfinite de topologías

Aceptada
Respondido el 7 de Marzo, 2011 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

6 votos

Producto de la coerción y objetos genéricos

Aceptada
Respondido el 11 de Diciembre, 2011 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

8 votos

El árbol de la propiedad para los no-débilmente compacto $\kappa$

Aceptada
Respondido el 8 de Septiembre, 2010 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

8 votos

Muestre que$\omega^2+1$ es un número primo.

Respondido el 13 de Enero, 2018 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

4 votos

Función regresiva en un ordinal

Aceptada
Respondido el 10 de Junio, 2011 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

3 votos

Una técnica para decidir satisfiability en los fragmentos de la lógica de primer orden

Aceptada
Respondido el 4 de Julio, 2011 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

5 votos

La congruencia de los términos

Respondido el 5 de Mayo, 2011 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

2 votos

(De la onu)Decidability de válido, pero no finitely-conste fórmulas

Aceptada
Respondido el 22 de Enero, 2011 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

6 votos

Encontrar un contraejemplo en la teoría de modelos

Aceptada
Respondido el 10 de Octubre, 2013 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

6 votos

Demostrar que acl(acl(A))=acl(A), en teoría de modelos

Aceptada
Respondido el 22 de Enero, 2011 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

3 votos

$<$ en un preorder

Respondido el 13 de Julio, 2012 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

0 votos

¿Existe el conjunto de $S=\{x\mid x\in S\}$?

Respondido el 31 de Diciembre, 2017 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

13 votos

Teorema de existencia de modelos en la teoría de conjuntos

Aceptada
Respondido el 16 de Junio, 2011 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

3 votos

¿Si $\phi$ es una frase de $\Sigma_2$ y $H_{\kappa} \models \phi$, entonces el $V \models \phi$?

Aceptada
Respondido el 31 de Enero, 2015 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

9 votos

¿Qué es el * exacta * fuerza de consistencia de $MK$?

Aceptada
Respondido el 17 de Abril, 2016 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

1 votos

La equivalencia entre la lógica temporal y nociones de forzar

Respondido el 30 de Agosto, 2014 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

2 votos

La conversión de Geocéntrico para Geodésico

Aceptada
Respondido el 17 de Agosto, 2011 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

7 votos

¿Se sabe que esta extensión de ZFC es completamente inconsistente?

Respondido el 23 de Septiembre, 2014 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

7 votos

¿La implicación material siempre utilizable como el conectivo principal dentro del ámbito de un cuantificador existencial?

Aceptada
Respondido el 16 de Diciembre, 2013 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

6 votos

¿la definición del modelo depende de una teoría o a una firma?

Aceptada
Respondido el 28 de Febrero, 2011 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

6 votos

Eliminación de cuantificadores

Aceptada
Respondido el 10 de Diciembre, 2015 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

4 votos

¿Por qué es este conjunto estacionario?

Respondido el 15 de Febrero, 2012 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

3 votos

Cómo calcular el cojinete entre dos puntos GPS

Respondido el 15 de Septiembre, 2011 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

7 votos

Una bonita enumeración de $R(\omega)$

Respondido el 4 de Septiembre, 2010 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

6 votos

NP duro/completa

Respondido el 20 de Mayo, 2011 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

10 votos

Lógica de tres valores con el tercer valor siendo "indecidible", aplicándose a proposiciones indecidibles

Respondido el 16 de Diciembre, 2018 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

2 votos

La comprensión de la prueba de Hartogs Teorema en la Teoría de conjuntos

Respondido el 24 de Enero, 2015 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

3 votos

¿Cómo puede una teoría ser categórica de una gran cardinalidad?

Aceptada
Respondido el 23 de Diciembre, 2018 por Tim Howland
q2astack::content.general.tags :

Etiquetas mas usadas

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

Yandex
X