Respuestas del usuario 119986011

11 votos

Rompecabezas: La siguiente prueba que PA es incompatible?

Aceptada

Respondido el 28 de Febrero, 2017 por ManuelSchneid3r

2 votos

Una posible alternativa a los axiomas de par, Unión, infinito y reemplazo

Aceptada

Respondido el 5 de Marzo, 2016 por ManuelSchneid3r

13 votos

Problemas en la enseñanza de la lógica introductoria. ¿Es esto una afirmación? "Si x es un número entero, entonces..."

Respondido el 6 de Agosto, 2018 por ManuelSchneid3r

6 votos

¿Sin AC cómo construir un surjection entre powerset de un cardenal a otro cardenal?

Aceptada

Respondido el 26 de Noviembre, 2017 por ManuelSchneid3r

5 votos

Filas de los reales en el universo construible $L$

Aceptada

Respondido el 11 de Agosto, 2018 por ManuelSchneid3r

13 votos

¿Dónde están los conceptos de la teoría de modelo de?

Respondido el 12 de Agosto, 2018 por ManuelSchneid3r

10 votos

Hace un monótono bijection de $\mathbb{Q}$ $\mathbb{Q}\setminus\{0\}$existen?

Aceptada

Respondido el 14 de Agosto, 2018 por ManuelSchneid3r

4 votos

Encontrar un buen orden de los números naturales de un determinado tipo de orden

Respondido el 15 de Agosto, 2018 por ManuelSchneid3r

7 votos

Es igual a

Respondido el 21 de Mayo, 2015 por ManuelSchneid3r

3 votos

Creando un nuevo conector en lógica proposicional

Respondido el 28 de Octubre, 2015 por ManuelSchneid3r

3 votos

Fragmento de ZFC para demostrar el teorema de integridad de primer orden

Aceptada

Respondido el 6 de Febrero, 2018 por ManuelSchneid3r

4 votos

Un heurístico para la consistencia de ZFC (teoría de la estructura fina)

Respondido el 1 de Septiembre, 2018 por ManuelSchneid3r

2 votos

Preservación de $\exists \forall $ -sentencia de campos de extensión algebraica infinita

Aceptada

Respondido el 5 de Febrero, 2018 por ManuelSchneid3r

6 votos

¿Siempre existe una función estrictamente creciente de $\mathbb{R}$ $\mathbb{R}$ menos un conjunto infinito numerable?

Aceptada

Respondido el 10 de Septiembre, 2018 por ManuelSchneid3r

17 votos

Definición topológica alternativa de continuidad

Aceptada

Respondido el 16 de Enero, 2017 por ManuelSchneid3r

2 votos

¿Es esta cosa derivada encontré un concepto matemático definido? Si es así, ¿cómo se llama?

Aceptada

Respondido el 23 de Septiembre, 2015 por ManuelSchneid3r

1 votos

Detalles acerca de Caley ' s Grupo Teorema

Respondido el 14 de Diciembre, 2015 por ManuelSchneid3r

1 votos

¿Puede la línea larga insertarse en el plano ordenado?

Respondido el 15 de Septiembre, 2018 por ManuelSchneid3r

33 votos

¿El límite de este paso infinito es un triángulo equilátero?

Aceptada

Respondido el 17 de Septiembre, 2018 por ManuelSchneid3r

6 votos

Definición de sistema y omnisciencia teoría de conjuntos

Aceptada

Respondido el 18 de Septiembre, 2018 por ManuelSchneid3r

4 votos

Sistema más simple que requiere el reemplazo pero no se puede lograr usando el sistema de energía

Respondido el 14 de Abril, 2018 por ManuelSchneid3r

3 votos

¿Disparar contra un club puede colapsar a los cardenales?

Aceptada

Respondido el 11 de Enero, 2017 por ManuelSchneid3r

3 votos

Axiomatización finita de teorías de lógica de primer orden

Respondido el 31 de Agosto, 2018 por ManuelSchneid3r

8 votos

¿Existe una real $r$ y un modelo transitivo contable $M$ tal que $r$ no es en cualquier extensión obligando a $M$?

Respondido el 3 de Enero, 2016 por ManuelSchneid3r

6 votos

Prueba por contradicción y teoría de conjuntos ZF

Aceptada

Respondido el 27 de Septiembre, 2018 por ManuelSchneid3r

7 votos

¿Existe una estricta medida numérica de la fuerza para cualquier teoría de conjuntos (en relación con un ordinal prueba teórica correspondiente)?

Aceptada

Respondido el 27 de Septiembre, 2018 por ManuelSchneid3r

9 votos

¿Por qué son esenciales para Henkin-pruebas de integridad máximas conjuntos coherentes?

Aceptada

Respondido el 24 de Septiembre, 2015 por ManuelSchneid3r

5 votos

Necesidad del cuantificador universal en el cálculo de predicados

Aceptada

Respondido el 2 de Octubre, 2018 por ManuelSchneid3r

17 votos

¿Por qué el teorema del punto fijo justifica la existencia de la función factorial?

Respondido el 3 de Octubre, 2018 por ManuelSchneid3r

6 votos

Pruebas semánticas a las pruebas sintácticas

Aceptada

Respondido el 3 de Octubre, 2018 por ManuelSchneid3r

Respuestas del usuario 119986

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Rompecabezas: La siguiente prueba que PA es incompatible?

Una posible alternativa a los axiomas de par, Unión, infinito y reemplazo

Problemas en la enseñanza de la lógica introductoria. ¿Es esto una afirmación? "Si x es un número entero, entonces..."

¿Sin AC cómo construir un surjection entre powerset de un cardenal a otro cardenal?

Filas de los reales en el universo construible $L$

¿Dónde están los conceptos de la teoría de modelo de?

Hace un monótono bijection de $\mathbb{Q}$ $\mathbb{Q}\setminus\{0\}$existen?

Encontrar un buen orden de los números naturales de un determinado tipo de orden

Es igual a

Creando un nuevo conector en lógica proposicional

Fragmento de ZFC para demostrar el teorema de integridad de primer orden

Un heurístico para la consistencia de ZFC (teoría de la estructura fina)

Preservación de $\exists \forall $ -sentencia de campos de extensión algebraica infinita

¿Siempre existe una función estrictamente creciente de $\mathbb{R}$ $\mathbb{R}$ menos un conjunto infinito numerable?

Definición topológica alternativa de continuidad

¿Es esta cosa derivada encontré un concepto matemático definido? Si es así, ¿cómo se llama?

Detalles acerca de Caley ' s Grupo Teorema

¿Puede la línea larga insertarse en el plano ordenado?

¿El límite de este paso infinito es un triángulo equilátero?

Definición de sistema y omnisciencia teoría de conjuntos

Sistema más simple que requiere el reemplazo pero no se puede lograr usando el sistema de energía

¿Disparar contra un club puede colapsar a los cardenales?

Axiomatización finita de teorías de lógica de primer orden

¿Existe una real $r$ y un modelo transitivo contable $M$ tal que $r$ no es en cualquier extensión obligando a $M$?

Prueba por contradicción y teoría de conjuntos ZF

¿Existe una estricta medida numérica de la fuerza para cualquier teoría de conjuntos (en relación con un ordinal prueba teórica correspondiente)?

¿Por qué son esenciales para Henkin-pruebas de integridad máximas conjuntos coherentes?

Necesidad del cuantificador universal en el cálculo de predicados

¿Por qué el teorema del punto fijo justifica la existencia de la función factorial?

Pruebas semánticas a las pruebas sintácticas

Etiquetas mas usadas

i-Ciencias.com

Powered by: