Kaj es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Por qué se llama forzamiento a la modelización intuicionista?
el 19 de Febrero, 2018 2 votos - 3 resp
Prueba de la propiedad de disyunción
el 7 de Mayo, 2021 1 votos - 1 resp
Pregunta sobre la demostración del Teorema de Solovay
el 8 de Abril, 2019 4 votos - 3 resp
Arbitrarias y al azar
el 28 de Noviembre, 2017 45 votos - 4 resp
Abierto superconjunto de $\mathbb{Q}$
el 27 de Octubre, 2017 5 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 2 x intuitionistic-logic
- 1 x general-topología
- 1 x elementary-conjunto-teórico
- 1 x pregunta-teórica
- 1 x terminología
- 1 x conjunto-teórico
- 1 x logic