Preguntas de order-theory06

3

3Resp

161Vistas

La teoría estable es NIP

Resuelta

Preguntado el 22 de Octubre, 2016 por Jan Alwyn

23

3Resp

818Vistas

Langlands geométrico como teoría de campos topológicos parcialmente definida

Resuelta

Preguntado el 13 de Octubre, 2011 por Usuario no registrado

1

1Resp

149Vistas

Teorema de Fraïsse en "Un curso de teoría de modelos" de Bruno Poizat

Resuelta

Preguntado el 23 de Junio, 2020 por liang

3

1Resp

221Vistas

Una axiomatización de la Lógica de Segundo Orden (completa) con un sistema de prueba decidible no puede ser completa; ¿es esto cierto si solo requerimos semi-decidibilidad?

Resuelta

Preguntado el 14 de Junio, 2018 por El cero

3

1Resp

87Vistas

Relevancia de una declaración sobre modelos de monstruos

Resuelta

Preguntado el 17 de Enero, 2021 por Idéophage

4

1Resp

98Vistas

Modelos existencialmente cerrados de grafos sin arcos

Abierta

Preguntado el 8 de Junio, 2019 por user6232017

2

0Resp

129Vistas

¿Todo conjunto estándar tiene una cardinalidad estándar?

Resuelta

Preguntado el 3 de Febrero, 2019 por Zuhair

1

2Resp

231Vistas

Problema lógico de primer orden

Resuelta

Preguntado el 24 de Julio, 2013 por artificer

3

1Resp

100Vistas

Dadas todas las posibles relaciones k-arias sobre un conjunto de n elementos, ¿qué sentencias convergen a un porcentaje no n a medida que n va al infinito?

Resuelta

Preguntado el 8 de Mayo, 2019 por 2080

1

1Resp

218Vistas

Homomorfismo entre estructuras en la lógica de primer orden

Resuelta

Preguntado el 31 de Enero, 2018 por user15269

1

1Resp

92Vistas

Se confunde con el estimador de variables aleatorias.

Abierta

Preguntado el 11 de Diciembre, 2013 por nbrogi

6

2Resp

1212Vistas

Teorema del buen orden y lógica de segundo orden

Resuelta

Preguntado el 12 de Octubre, 2013 por Fabio Ribeiro

5

1Resp

161Vistas

¿Son conservadoras las anotaciones en ZF?

Resuelta

Preguntado el 1 de Mayo, 2018 por V. Semeria

1

1Resp

201Vistas

En la notación del constructor de conjuntos, ¿el predicado debe tener sólo una variable libre?

Resuelta

Preguntado el 28 de Julio, 2016 por Nethesis

2

1Resp

55Vistas

Confusión en la prueba del lema del marcador 2.1.14, $T \vDash \phi \implies \exists \Delta \subseteq T, |\Delta| \in \mathbb{N} \land \Delta \vDash T$

Resuelta

Preguntado el 8 de Abril, 2020 por Enrico Borba

2

1Resp

108Vistas

Dejemos que $M$ y $N$ sea $L$ -Estructuras, $h\colon M \cong N$ un isomorfismo. Mostrar $h$ es un mapa elemental.

Resuelta

Preguntado el 5 de Enero, 2015 por mrhappysmile

2

1Resp

5805Vistas

Cramer-Rao y los estimadores eficientes

Resuelta

Preguntado el 18 de Febrero, 2015 por Damir

1

1Resp

107Vistas

Unión de dos teorías que no contienen los mismos símbolos de lenguaje tiene un modelo.

Resuelta

Preguntado el 27 de Noviembre, 2017 por TheTechGuy96

4

1Resp

233Vistas

Formalizar una argumentación de la teoría de conjuntos a partir de una historia corta de ficción

Resuelta

Preguntado el 26 de Febrero, 2017 por puslet88

1

1Resp

287Vistas

¿Por qué es necesario que una teoría no tenga modelos finitos para aplicar la prueba de Los-Vaught?

Resuelta

Preguntado el 12 de Febrero, 2015 por paradroid

2

1Resp

217Vistas

Cuestión de isomorfismo local en lógica

Resuelta

Preguntado el 8 de Agosto, 2015 por abcdef

4

1Resp

162Vistas

Sentencias finitamente válidas y otras cosas relacionadas

Resuelta

Preguntado el 7 de Septiembre, 2019 por Kapur

2

1Resp

67Vistas

Se necesita ayuda en la tarea que implica estructuras y modelos

Resuelta

Preguntado el 19 de Febrero, 2018 por Yulia23576

4

1Resp

340Vistas

¿Fraccionalización y estructura del grupo de rotación de espín?

Resuelta

Preguntado el 8 de Agosto, 2013 por Kai Li

2

3Resp

547Vistas

¿Cómo eliminar los símbolos constantes de una teoría de primer orden?

Resuelta

Preguntado el 2 de Mayo, 2017 por M. Winter

3

1Resp

122Vistas

Prueba de satisfacción dada la misma interpretación de la variable libre

Resuelta

Preguntado el 7 de Abril, 2019 por David 天宇 Wong

2

1Resp

66Vistas

La cuantificación y la existencia de una función

Resuelta

Preguntado el 1 de Diciembre, 2021 por Hermis14

2

1Resp

155Vistas

Expectativa de las estadísticas de orden normalizadas

Resuelta

Preguntado el 18 de Marzo, 2017 por Nocturne

1

1Resp

125Vistas

Interpretaciones de conjuntos y pertenencia a conjuntos

Abierta

Preguntado el 3 de Febrero, 2022 por user1578232

2

1Resp

97Vistas

Demostración del teorema de la compacidad

Resuelta

Preguntado el 26 de Octubre, 2021 por phyam

Preguntas de order-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

La teoría estable es NIP

Langlands geométrico como teoría de campos topológicos parcialmente definida

Teorema de Fraïsse en "Un curso de teoría de modelos" de Bruno Poizat

Una axiomatización de la Lógica de Segundo Orden (completa) con un sistema de prueba decidible no puede ser completa; ¿es esto cierto si solo requerimos semi-decidibilidad?

Relevancia de una declaración sobre modelos de monstruos

Modelos existencialmente cerrados de grafos sin arcos

¿Todo conjunto estándar tiene una cardinalidad estándar?

Problema lógico de primer orden

Dadas todas las posibles relaciones k-arias sobre un conjunto de n elementos, ¿qué sentencias convergen a un porcentaje no n a medida que n va al infinito?

Homomorfismo entre estructuras en la lógica de primer orden

Se confunde con el estimador de variables aleatorias.

Teorema del buen orden y lógica de segundo orden

¿Son conservadoras las anotaciones en ZF?

En la notación del constructor de conjuntos, ¿el predicado debe tener sólo una variable libre?

Confusión en la prueba del lema del marcador 2.1.14, $T \vDash \phi \implies \exists \Delta \subseteq T, |\Delta| \in \mathbb{N} \land \Delta \vDash T$

Dejemos que $M$ y $N$ sea $L$ -Estructuras, $h\colon M \cong N$ un isomorfismo. Mostrar $h$ es un mapa elemental.

Cramer-Rao y los estimadores eficientes

Unión de dos teorías que no contienen los mismos símbolos de lenguaje tiene un modelo.

Formalizar una argumentación de la teoría de conjuntos a partir de una historia corta de ficción

¿Por qué es necesario que una teoría no tenga modelos finitos para aplicar la prueba de Los-Vaught?

Cuestión de isomorfismo local en lógica

Sentencias finitamente válidas y otras cosas relacionadas

Se necesita ayuda en la tarea que implica estructuras y modelos

¿Fraccionalización y estructura del grupo de rotación de espín?

¿Cómo eliminar los símbolos constantes de una teoría de primer orden?

Prueba de satisfacción dada la misma interpretación de la variable libre

La cuantificación y la existencia de una función

Expectativa de las estadísticas de orden normalizadas

Interpretaciones de conjuntos y pertenencia a conjuntos

Demostración del teorema de la compacidad

Etiquetas mas usadas

i-Ciencias.com

Powered by: