Respuestas del usuario 87114

Puntuación Visitas Fecha
Avatar de Tim Howland

2 votos

Las matemáticas y la Lógica del Infinito de Ajedrez

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

7 votos

rubik continua ' círculo de cubo s dibujo

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

10 votos

Suelo de baldosas $\mathbb{R}^2$ con polyomino

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

6 votos

Demostrar que para cualquier poset infinita es un subconjunto infinito que es antichain o bien linealmente ordenado.

Respondido el 4 de Enero, 2012 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

15 votos

¿Cuál es un ejemplo de un modelo finito en lógica de primer orden que tiene un único elemento indefinible?

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

4 votos

¿Dónde puedo obtener los datos de las relaciones de vecindad de los condados (EE.UU.)?

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

9 votos

Reflexión y cardenales fuertes

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

5 votos

¿Es consistente una extensión de una teoría consistente que asume su propia consistencia finita?

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

4 votos

Un espacio conectado que no es ni localmente conectado ni conectado por trayectoria

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

15 votos

¿Hay algún no-auto-referencial declaraciones que no se puede asignar un valor de verdad?

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

7 votos

Álgebras booleanas sin átomos

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

18 votos

¿Por qué ' t «$V$ es un modelo de $ZF$» implica la consistencia de ZF?

Respondido el 27 de Abril, 2014 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

16 votos

¿Hasta qué punto explica una prueba?

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

12 votos

Definidos por sistemas en Fije la teoría

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

6 votos

Estructuras no-isomorfos de la misma cardinalidad que son equivalente a primaria

Respondido el 20 de Junio, 2017 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

10 votos

Se puede implementar $\omega^{CK}_1$ $\omega^{CK}_1+1$ como un oráculo?

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

18 votos

¿Por qué es importante la cofinalidad? Y alguna ayuda para demostrar la absolutidad para $R(\kappa)$

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

9 votos

Si cada subconjunto infinito tiene un punto de límite en un espacio métrico $X$, entonces $X$ es separable (en ZF)

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

4 votos

¿Cómo puedo demostrar que este conjunto no es aritmético?

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

7 votos

¿Ejemplo de una Teoría Lógica Indecidible que es una extensión de una Teoría Lógica Decidible?

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

31 votos

¿Puede existir realmente un círculo?

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

8 votos

La cardinalidad de $L_\alpha$ en $L$

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

10 votos

Eliminación de cuantificadores para $\exists x\ x^2=y$

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

3 votos

Lista finita de fórmulas no absolutas para cualquier conjunto

Aceptada
Respondido el 1 de Mayo, 2017 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

5 votos

Hay una declaración independiente de la PA y no aumenta la consistencia de la fuerza?

Respondido el 20 de Octubre, 2016 por Tim Howland
q2astack::content.general.tags :
Avatar de Tim Howland

4 votos

El centinela AWS 2 duplica la diferencia de entrada

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

3 votos

Prueba por doble inducción sobre cadenas

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

7 votos

Notación para números surrealistas

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

15 votos

Cofinality de cardenales

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

5 votos

¿Aprovechable = probadamente accesible?

Aceptada
Respondido el 8 de Marzo, 2011 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