21
Reputación
Reputación
Nombre : Venkata Koppaka
Miembro desde : 15 de Abril, 2015
Venkata Koppaka es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Una pregunta sobre el forzamiento iterado
el 11 de Junio, 2021 7 votos - 3 resp
Un límite al absolutismo de Shoenfield
el 2 de Septiembre, 2019 20 votos - 1 resp
Grados mínimos de estructuras
el 13 de Septiembre, 2019 7 votos - 1 resp
¿Los conjuntos que escapan cubren "uniformemente" a los conjuntos dominantes bajo determinación?
el 14 de Junio, 2021 6 votos - 2 resp
¿Qué forzamientos preservan (en parte) la determinabilidad?
el 12 de Junio, 2021 11 votos - 1 resp
Sorpresas ur-elementales
el 28 de Diciembre, 2022 34 votos - 1 resp
Tamaños de los modelos "casi amorfos"
el 21 de Julio, 2021 4 votos
Últimas Respuestas
- 19 votos
¿Cuál es la situación con el paper de Artemov?
el 17 de Abril, 2024 19 votos - 15 votos
¿Existen resultados de indecidibilidad que no se saben que tengan una demostración por argumento diagonal?
el 6 de Septiembre, 2023 15 votos - 4 votos
Juegos que nunca empiezan
el 12 de Noviembre, 2012 4 votos - 7 votos
¿Qué forzamientos preservan (en parte) la determinabilidad?
el 19 de Marzo, 2019 7 votos - 3 votos
¿Un modelo de aritmética contenido en un modelo de aritmética es un segmento inicial?
el 18 de Marzo, 2014 3 votos - 42 votos
El lema de Zorn: ¿viejo amigo o reliquia histórica?
el 11 de Diciembre, 2022 42 votos - 25 votos
Etiquetas favoritas
- 43 x matemáticas
- 21 x lo.logic
- 14 x set-theory
- 13 x lo.lógica
- 8 x conjunto-teórico
- 5 x forcing
- 5 x model-theory
