Preguntas de order016 | i-Ciencias.com

10

1Resp

130Vistas

¿Cómo definir los estados 'gap' y 'gapless'?

Abierta

Preguntado el 15 de Noviembre, 2017 por X. Dong

6

1Resp

165Vistas

Declaración relacionada con el lema de Zorn

Resuelta

Preguntado el 1 de Marzo, 2014 por rafb3

5

5Resp

1259Vistas

¿Por qué no prohibir los cuantificadores anidados sobre la misma variable?

Abierta

Preguntado el 22 de Agosto, 2018 por Joshua Meyers

7

1Resp

203Vistas

Si $(W,<)$ es un conjunto bien ordenado y $f : W \rightarrow W$ es una función creciente, entonces $f(x) ≥ x$ para cada $x \in W$

Resuelta

Preguntado el 18 de Julio, 2013 por goblin

5

2Resp

308Vistas

Axiomatización de la orden de bienestar

Resuelta

Preguntado el 20 de Octubre, 2013 por user100561

3

1Resp

148Vistas

Si $\Gamma \cup \{ \neg \varphi \}$ es inconsistente, entonces $\Gamma \vdash \varphi$

Abierta

Preguntado el 12 de Noviembre, 2014 por Mohit Jain

4

1Resp

105Vistas

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

Resuelta

Preguntado el 6 de Febrero, 2018 por Dirk D

9

1Resp

147Vistas

Si $2^\mu$ y $2^\lambda$ son isomorfos como boleanas, ¿es cierto que $\mu = \lambda$?

Resuelta

Preguntado el 28 de Agosto, 2018 por Paciv

4

1Resp

170Vistas

¿Lo que ' s la diferencia entre los tipos de lógica?

Resuelta

Preguntado el 30 de Agosto, 2018 por user525966

6

3Resp

252Vistas

Lógica de predicados, Prueba de validez. ¿Cómo eliminar la negación delante del cuantificador existencial?

Resuelta

Preguntado el 31 de Agosto, 2018 por Kazy Kamakaze

4

1Resp

163Vistas

Qué teorema matemático es

Resuelta

Preguntado el 6 de Junio, 2016 por MikeyLikesIT

5

2Resp

130Vistas

Bifurcando pero no dividiendo

Abierta

Preguntado el 3 de Septiembre, 2018 por Lajos

4

2Resp

219Vistas

¿La implicación material siempre utilizable como el conectivo principal dentro del ámbito de un cuantificador existencial?

Resuelta

Preguntado el 16 de Diciembre, 2013 por DuxAres

4

5Resp

294Vistas

¿Existen métodos para ordenar bien un grupo finito de una manera significativa?

Abierta

Preguntado el 7 de Junio, 2012 por manny smith

6

2Resp

135Vistas

Sentencia de primer orden que implica a sólo una relación binaria simétrica con infinitos modelos de sólo

Resuelta

Preguntado el 27 de Septiembre, 2017 por Carralpha

8

2Resp

104Vistas

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

Resuelta

Preguntado el 15 de Septiembre, 2018 por Niki Di Giano

12

5Resp

1383Vistas

¿Debe una secuencia bien fundada?

Resuelta

Preguntado el 19 de Septiembre, 2018 por Robert Frost

6

2Resp

115Vistas

Materiales topológicos y excitaciones fraccionalizadas

Abierta

Preguntado el 19 de Septiembre, 2018 por dylnan

5

2Resp

149Vistas

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

Resuelta

Preguntado el 30 de Agosto, 2018 por Daniels Krimans

7

1Resp

123Vistas

Comprender la convergencia en el espacio de las teorías completas

Resuelta

Preguntado el 23 de Septiembre, 2018 por bksunday

6

1Resp

333Vistas

Modelos de cadena-net en enrejados no trivalente

Abierta

Preguntado el 12 de Marzo, 2014 por LukeR

2

1Resp

335Vistas

Liquid(CSL) quirales de la vuelta, número de Chern y el degeneracy(GSD) de estado

Resuelta

Preguntado el 21 de Enero, 2014 por Kai Li

11

3Resp

377Vistas

Grupos finitos de orden suma del orden de los elementos

Resuelta

Preguntado el 27 de Septiembre, 2018 por Mala

4

1Resp

114Vistas

¿Por qué la entropía de enredo es importante en las fases topológicas?

Abierta

Preguntado el 13 de Febrero, 2017 por Pratik vanjare

5

1Resp

171Vistas

Necesidad del cuantificador universal en el cálculo de predicados

Resuelta

Preguntado el 2 de Octubre, 2018 por Daniels Krimans

9

1Resp

130Vistas

Pruebas semánticas a las pruebas sintácticas

Resuelta

Preguntado el 3 de Octubre, 2018 por V. Semeria

4

1Resp

108Vistas

Secuencia de elementos ultrapower y su supremum

Resuelta

Preguntado el 18 de Febrero, 2018 por Nickolas

10

3Resp

612Vistas

¿Por qué Skolemming no conserva la validez?

Resuelta

Preguntado el 7 de Octubre, 2018 por Gregory Nisbet

4

1Resp

380Vistas

Notación en centrifugado líquido

Abierta

Preguntado el 23 de Enero, 2013 por Alexander Kahoun

5

1Resp

173Vistas

Constructibilidad de conjuntos definidos únicamente en ZFC.

Resuelta

Preguntado el 10 de Agosto, 2018 por Glutinous

Preguntas de order

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cómo definir los estados 'gap' y 'gapless'?

Declaración relacionada con el lema de Zorn

¿Por qué no prohibir los cuantificadores anidados sobre la misma variable?

Si $(W,<)$ es un conjunto bien ordenado y $f : W \rightarrow W$ es una función creciente, entonces $f(x) ≥ x$ para cada $x \in W$

Axiomatización de la orden de bienestar

Si $\Gamma \cup \{ \neg \varphi \}$ es inconsistente, entonces $\Gamma \vdash \varphi$

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

Si $2^\mu$ y $2^\lambda$ son isomorfos como boleanas, ¿es cierto que $\mu = \lambda$?

¿Lo que ' s la diferencia entre los tipos de lógica?

Lógica de predicados, Prueba de validez. ¿Cómo eliminar la negación delante del cuantificador existencial?

Qué teorema matemático es

Bifurcando pero no dividiendo

¿La implicación material siempre utilizable como el conectivo principal dentro del ámbito de un cuantificador existencial?

¿Existen métodos para ordenar bien un grupo finito de una manera significativa?

Sentencia de primer orden que implica a sólo una relación binaria simétrica con infinitos modelos de sólo

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

¿Debe una secuencia bien fundada?

Materiales topológicos y excitaciones fraccionalizadas

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

Comprender la convergencia en el espacio de las teorías completas

Modelos de cadena-net en enrejados no trivalente

Liquid(CSL) quirales de la vuelta, número de Chern y el degeneracy(GSD) de estado

Grupos finitos de orden suma del orden de los elementos

¿Por qué la entropía de enredo es importante en las fases topológicas?

Necesidad del cuantificador universal en el cálculo de predicados

Pruebas semánticas a las pruebas sintácticas

Secuencia de elementos ultrapower y su supremum

¿Por qué Skolemming no conserva la validez?

Notación en centrifugado líquido

Constructibilidad de conjuntos definidos únicamente en ZFC.

Etiquetas mas usadas

i-Ciencias.com

Powered by: