Preguntas de order020 | i-Ciencias.com

4

1Resp

111Vistas

Demostrar algo sobre un objeto expresándolo como un ultraproducto de objetos más fáciles de entender.

Abierta

Preguntado el 31 de Julio, 2018 por Scott Mutchnik

6

1Resp

118Vistas

La unión de una estrictamente creciente de la secuencia de cierre de las teorías en un lenguaje finito tiene una infinita modelo

Resuelta

Preguntado el 15 de Julio, 2018 por user470412

5

2Resp

398Vistas

Separación Cocientes, y la Inducida por la Orden

Resuelta

Preguntado el 5 de Octubre, 2010 por DanV

4

1Resp

262Vistas

¿Es cada φ por encima del segundo nivel de la jerarquía aritmética independiente de PA?

Resuelta

Preguntado el 13 de Noviembre, 2012 por Wolphram jonny

8

2Resp

335Vistas

¿Por qué es deseable la eliminación de cuantificadores en una teoría determinada?

Abierta

Preguntado el 30 de Marzo, 2019 por Simone Margaritelli

8

1Resp

162Vistas

$\text{SO}(N)_1$ ¿La teoría de Chern-Simons no tiene orden topológico?

Abierta

Preguntado el 18 de Mayo, 2017 por Charles

8

2Resp

781Vistas

¿Un modelo simple que exhibe simetría emergente?

Resuelta

Preguntado el 22 de Marzo, 2013 por Kai Li

5

1Resp

171Vistas

Cómo abordar modelos primos y modelos saturados.

Resuelta

Preguntado el 7 de Abril, 2019 por Joachim

4

1Resp

186Vistas

Conversión de lógica proposicional a lógica predicada

Resuelta

Preguntado el 10 de Abril, 2019 por Max Dohme

5

2Resp

336Vistas

¿Por qué símbolos constantes en una lengua?

Resuelta

Preguntado el 15 de Abril, 2019 por Cornman

4

1Resp

205Vistas

Problemas con una prueba de que, en un orden lineal - un mínimo elemento es el elemento más pequeño

Resuelta

Preguntado el 14 de Marzo, 2014 por Kolmin

4

1Resp

202Vistas

Declaraciones comparables con el axioma de elección en ZF

Resuelta

Preguntado el 25 de Diciembre, 2014 por ramiez

4

1Resp

114Vistas

$\mathbb{Q}^{alg}[[a,b]] $ no es elemental equivalente a$\mathbb{C}[[a,b]]$, y lo mismo para$\mathbb{Q}^{alg}[a]$ y$\mathbb{C}[a]$?

Resuelta

Preguntado el 23 de Abril, 2019 por user297564

4

1Resp

165Vistas

¿Cómo puedo calcular el 'rango promedio' de un conjunto infinito?

Abierta

Preguntado el 24 de Abril, 2019 por R. Burton

4

1Resp

138Vistas

Mostrando que lo que menos cardenal $\kappa$ ejemplo de un poset no tiene un fuerte antichain de tamaño $\kappa$ es regular

Resuelta

Preguntado el 19 de Febrero, 2017 por jay_hathaway

7

1Resp

367Vistas

Contra-ejemplo: un par de conjuntos ordenados linealmente que son isomórficos a subconjuntos del otro, pero no isomórficos entre ellos

Resuelta

Preguntado el 28 de Abril, 2019 por james braselton

4

2Resp

333Vistas

¿Por qué el set $\{1,3,5,7... ; 2,4,6,8...\}$ calificar como bien ordenada? ¿Cómo explicar esta notación?

Resuelta

Preguntado el 30 de Abril, 2019 por Ray LittleRock

4

1Resp

103Vistas

Rationals $(\mathbb{Q},<)$ son isomorfas a una parte de una partición finita

Abierta

Preguntado el 14 de Septiembre, 2015 por apple9321

4

2Resp

168Vistas

Según "Lenguaje, Prueba y Lógica" $a=a$ no es una tautología. ¿Por qué no?

Abierta

Preguntado el 4 de Octubre, 2016 por guest

3

1Resp

130Vistas

Ordenación en el cociente de conjuntos bien ordenados

Resuelta

Preguntado el 30 de Marzo, 2018 por Alvin Lepik

4

2Resp

168Vistas

Es $a \le b$ una afirmación verdadera si $a < b$ ?

Resuelta

Preguntado el 13 de Marzo, 2014 por Ilya Boyandin

4

2Resp

216Vistas

¿Qué significa genérico?

Resuelta

Preguntado el 27 de Mayo, 2019 por Mike

5

1Resp

203Vistas

Algunas dudas sobre la interpretación de una fórmula atómica en el cálculo de predicados.

Resuelta

Preguntado el 11 de Junio, 2013 por Kobi

5

2Resp

133Vistas

Cuantificadores en lógica de primer orden.

Resuelta

Preguntado el 1 de Junio, 2019 por Nishant kumar

5

1Resp

334Vistas

Expresando elementos infinitos cada clase de equivalencia en la lógica de primer orden.

Resuelta

Preguntado el 8 de Julio, 2014 por Alain Vandal

4

4Resp

245Vistas

No puedo ver la intuición detrás de la validez de esta fórmula:$\exists x(\exists yP(x,y) → \forall z \exists wP(z,w))$

Resuelta

Preguntado el 30 de Mayo, 2014 por Guildenstern

4

1Resp

164Vistas

¿Error en el artículo de Wikipedia sobre teoría completa?

Abierta

Preguntado el 14 de Septiembre, 2017 por Taroccoesbrocco

7

0Resp

248Vistas

No puede EF teoría de juegos se aplica a lo finito idiomas CON los símbolos de la función?

Abierta

Preguntado el 17 de Noviembre, 2015 por Anguepa

5

2Resp

520Vistas

¿Es cada red el conjunto de puntos fijos de un endomorfismo de orden de ⋄ ^ n?

Abierta

Preguntado el 14 de Enero, 2010 por mreichelt

4

1Resp

134Vistas

Comprobación de la prueba. Principio bien ordenado para los números naturales.

Resuelta

Preguntado el 18 de Marzo, 2017 por Matt

Preguntas de order

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Demostrar algo sobre un objeto expresándolo como un ultraproducto de objetos más fáciles de entender.

La unión de una estrictamente creciente de la secuencia de cierre de las teorías en un lenguaje finito tiene una infinita modelo

Separación Cocientes, y la Inducida por la Orden

¿Es cada φ por encima del segundo nivel de la jerarquía aritmética independiente de PA?

¿Por qué es deseable la eliminación de cuantificadores en una teoría determinada?

$\text{SO}(N)_1$ ¿La teoría de Chern-Simons no tiene orden topológico?

¿Un modelo simple que exhibe simetría emergente?

Cómo abordar modelos primos y modelos saturados.

Conversión de lógica proposicional a lógica predicada

¿Por qué símbolos constantes en una lengua?

Problemas con una prueba de que, en un orden lineal - un mínimo elemento es el elemento más pequeño

Declaraciones comparables con el axioma de elección en ZF

$\mathbb{Q}^{alg}[[a,b]] $ no es elemental equivalente a$\mathbb{C}[[a,b]]$, y lo mismo para$\mathbb{Q}^{alg}[a]$ y$\mathbb{C}[a]$?

¿Cómo puedo calcular el 'rango promedio' de un conjunto infinito?

Mostrando que lo que menos cardenal $\kappa$ ejemplo de un poset no tiene un fuerte antichain de tamaño $\kappa$ es regular

Contra-ejemplo: un par de conjuntos ordenados linealmente que son isomórficos a subconjuntos del otro, pero no isomórficos entre ellos

¿Por qué el set $\{1,3,5,7... ; 2,4,6,8...\}$ calificar como bien ordenada? ¿Cómo explicar esta notación?

Rationals $(\mathbb{Q},<)$ son isomorfas a una parte de una partición finita

Según "Lenguaje, Prueba y Lógica" $a=a$ no es una tautología. ¿Por qué no?

Ordenación en el cociente de conjuntos bien ordenados

Es $a \le b$ una afirmación verdadera si $a < b$ ?

¿Qué significa genérico?

Algunas dudas sobre la interpretación de una fórmula atómica en el cálculo de predicados.

Cuantificadores en lógica de primer orden.

Expresando elementos infinitos cada clase de equivalencia en la lógica de primer orden.

No puedo ver la intuición detrás de la validez de esta fórmula:$\exists x(\exists yP(x,y) → \forall z \exists wP(z,w))$

¿Error en el artículo de Wikipedia sobre teoría completa?

No puede EF teoría de juegos se aplica a lo finito idiomas CON los símbolos de la función?

¿Es cada red el conjunto de puntos fijos de un endomorfismo de orden de ⋄ ^ n?

Comprobación de la prueba. Principio bien ordenado para los números naturales.

Etiquetas mas usadas

i-Ciencias.com

Powered by: