176
Reputación
Reputación
Nombre : msutherl
Miembro desde : 15 de Junio, 2015
msutherl es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
- 0 resp
¿Cómo inventó Cohen el forzamiento?
el 31 de Mayo, 2021 13 votos - 1 resp
- 2 resp
¿Cómo identificar el objeto$K$ en$K-\operatorname{Vect}$ categóricamente?
el 22 de Marzo, 2019 4 votos - 1 resp
Las categorías que se corresponden con el tipo y escrito cálculo lambda?
el 13 de Marzo, 2019 4 votos - 2 resp
¿Hay alguna naturales de las medidas que se pueden poner en el espacio de modelos?
el 16 de Febrero, 2019 4 votos - 4 resp
Son todos grandes cardenal axiomas expresable en términos de primaria incrustaciones?
el 2 de Enero, 2019 6 votos
Últimas Respuestas
- 2 votos
Epiciclos como precursores de las series de Fourier
el 19 de Noviembre, 2020 2 votos - 0 votos
¿Quién robó los axiomas en la Deducción Natural?
el 22 de Septiembre, 2022 0 votos - 1 votos
¿Qué ocurre si la función de Euler-Lagrange es siempre cero?
el 5 de Diciembre, 2020 1 votos - 1 votos
¿Diferencia entre tensor y campo tensorial?
el 12 de Diciembre, 2019 1 votos - 2 votos
"Los vectores no son realmente números" - ¿qué tan acertada es esa afirmación?
el 17 de Mayo, 2015 2 votos - 8 votos
¿Es el lenguaje interno de un topos completo, sólido y eficaz?
el 5 de Junio, 2013 8 votos - 6 votos
¿Existe una categoría cuya lógica interna sea paraconsistente?
el 20 de Septiembre, 2013 6 votos
Etiquetas favoritas
- 24 x category-teoría
- 18 x lógica
- 6 x conjunto-teórico
- 5 x pregunta-teórica
- 4 x topos-teoría
- 4 x differential-geometría
- 4 x proof-teoría
