Preguntas ciencias de order-teoría05

4

1Resp

149Vistas

Mostrar una estructura es mínimo

Resuelta

Preguntado el 1 de Noviembre, 2016 por Sibusiso Ndlovu

4

2Resp

161Vistas

Conjuntos dirigidos para describir una topología con redes.

Resuelta

Preguntado el 19 de Diciembre, 2014 por Questioner

4

1Resp

111Vistas

Teorema del punto fijo de Tarski y la existencia de un mínimo de puntos fijos

Resuelta

Preguntado el 21 de Octubre, 2017 por Terry Phan

4

1Resp

123Vistas

¿es la lógica de primer orden con constantes igual de expresiva que la lógica de primer orden sin constantes?

Resuelta

Preguntado el 23 de Julio, 2018 por discretizer

5

1Resp

166Vistas

¿Por qué puede ' t reemplazamos generalmente inferencia reglas con axiomas?

Abierta

Preguntado el 23 de Julio, 2018 por Dain

4

1Resp

151Vistas

Generalización de los posets

Abierta

Preguntado el 8 de Abril, 2015 por rob

5

1Resp

747Vistas

ventaja de la lógica de primer orden sobre la lógica de segundo orden

Resuelta

Preguntado el 10 de Mayo, 2012 por Eric Noob

5

1Resp

161Vistas

En cualquier poset, la existencia de uniones arbitrarias es equivalente a la existencia de cumple arbitraria. ¿Pero, hay un principio general?

Resuelta

Preguntado el 31 de Mayo, 2013 por goblin

4

1Resp

156Vistas

Teorema de punto fijo de Bourbaki-Witt a Tarski-Knaster

Resuelta

Preguntado el 5 de Septiembre, 2017 por Moncader

3

2Resp

115Vistas

De cuántas maneras se pueden todos los seis números en el conjunto de $\{4, 3, 2, 12, 1, 6\}$ pedir

Resuelta

Preguntado el 11 de Junio, 2016 por learning

7

1Resp

399Vistas

Juego de Ehrenfeucht–Fraïssé, ¿cómo puedo entenderlo?

Resuelta

Preguntado el 18 de Julio, 2013 por Eric

6

1Resp

154Vistas

Condiciones suficientes para la diferencia de matrices A B positivo definido

Abierta

Preguntado el 4 de Julio, 2018 por JohnA

8

1Resp

123Vistas

Cuántas cadenas hay en un número finito de juego de poder?

Resuelta

Preguntado el 29 de Noviembre, 2015 por sewo

6

1Resp

151Vistas

Es todo totalmente ordenado finito dimensional espacio vectorial de un orden lexicographic para alguna base?

Resuelta

Preguntado el 27 de Julio, 2016 por ಠ_ಠ

4

1Resp

230Vistas

¿Existe un nombre para esas relaciones que se comportan un poco como $<$ ?

Resuelta

Preguntado el 25 de Noviembre, 2014 por goblin

5

1Resp

181Vistas

¿Es un entramado completo de cadenas?

Abierta

Preguntado el 30 de Septiembre, 2013 por Shreyansh Chouhan

5

1Resp

554Vistas

Conocido límites para el número de extensiones lineales de un poset

Resuelta

Preguntado el 8 de Agosto, 2011 por Jacopo Notarstefano

5

2Resp

298Vistas

Isomorfismo de orden-que preserva entre $\mathbb{R}^n$y $\mathbb{R}$

Resuelta

Preguntado el 26 de Abril, 2013 por Andre Holzner

4

1Resp

131Vistas

Cualquier dos boleanas atomless contables son isomorfos

Resuelta

Preguntado el 12 de Julio, 2015 por Cfr

6

1Resp

134Vistas

Prueba $y = x + 1$ ' t tienen un fórmula cuantificador-libre en $(\mathbb{Z}, =, <)$

Resuelta

Preguntado el 10 de Junio, 2018 por Kendall Bennett

5

2Resp

297Vistas

¿Un buen recurso para aprender la inducción y / o recursión transfinita?

Abierta

Preguntado el 26 de Junio, 2013 por goblin

4

1Resp

188Vistas

Sistemas de modelos aritméticos

Cerrada

Preguntado el 15 de Mayo, 2018 por w4g3n3r

4

2Resp

210Vistas

Existe un ordenamiento parcial de $ \mathbb{R} $ sin cadenas incontables o antichains

Abierta

Preguntado el 7 de Junio, 2016 por Jytug

4

2Resp

134Vistas

Algo bien orderedness.

Abierta

Preguntado el 31 de Marzo, 2013 por goblin

4

1Resp

168Vistas

Cómo hacer un pedido isomorfismo

Resuelta

Preguntado el 28 de Junio, 2014 por user160663

6

1Resp

158Vistas

Asociatividad de la concatenación

Abierta

Preguntado el 7 de Febrero, 2017 por Meet Taraviya

9

3Resp

190Vistas

¿Es posible tener dos modelos $M$, $N$ y para cada uno una incrustación primaria a otra, pero el $M$, $N$ no son isomorfos?

Abierta

Preguntado el 27 de Mayo, 2018 por user297564

4

4Resp

255Vistas

Demuestran que el Total de órdenes tiene la propiedad modelo finito

Abierta

Preguntado el 5 de Junio, 2013 por Josh

3

1Resp

217Vistas

Estados básicos de la teoría del bosón quiral con tunelización

Abierta

Preguntado el 23 de Diciembre, 2013 por LukeR

4

3Resp

103Vistas

Conjuntos ordenados $\langle \mathbb{N} \times \mathbb{Q}, \le_{lex} \rangle$ $\langle \mathbb{Q} \times \mathbb{N}, \le_{lex} \rangle$ no isomorfos

Resuelta

Preguntado el 18 de Enero, 2016 por Bartłomiej Sługocki

Preguntas ciencias order-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Mostrar una estructura es mínimo

Conjuntos dirigidos para describir una topología con redes.

Teorema del punto fijo de Tarski y la existencia de un mínimo de puntos fijos

¿es la lógica de primer orden con constantes igual de expresiva que la lógica de primer orden sin constantes?

¿Por qué puede ' t reemplazamos generalmente inferencia reglas con axiomas?

Generalización de los posets

ventaja de la lógica de primer orden sobre la lógica de segundo orden

En cualquier poset, la existencia de uniones arbitrarias es equivalente a la existencia de cumple arbitraria. ¿Pero, hay un principio general?

Teorema de punto fijo de Bourbaki-Witt a Tarski-Knaster

De cuántas maneras se pueden todos los seis números en el conjunto de $\{4, 3, 2, 12, 1, 6\}$ pedir

Juego de Ehrenfeucht–Fraïssé, ¿cómo puedo entenderlo?

Condiciones suficientes para la diferencia de matrices A B positivo definido

Cuántas cadenas hay en un número finito de juego de poder?

Es todo totalmente ordenado finito dimensional espacio vectorial de un orden lexicographic para alguna base?

¿Existe un nombre para esas relaciones que se comportan un poco como $<$ ?

¿Es un entramado completo de cadenas?

Conocido límites para el número de extensiones lineales de un poset

Isomorfismo de orden-que preserva entre $\mathbb{R}^n$y $\mathbb{R}$

Cualquier dos boleanas atomless contables son isomorfos

Prueba $y = x + 1$ ' t tienen un fórmula cuantificador-libre en $(\mathbb{Z}, =, <)$

¿Un buen recurso para aprender la inducción y / o recursión transfinita?

Sistemas de modelos aritméticos

Existe un ordenamiento parcial de $ \mathbb{R} $ sin cadenas incontables o antichains

Algo bien orderedness.

Cómo hacer un pedido isomorfismo

Asociatividad de la concatenación

¿Es posible tener dos modelos $M$, $N$ y para cada uno una incrustación primaria a otra, pero el $M$, $N$ no son isomorfos?

Demuestran que el Total de órdenes tiene la propiedad modelo finito

Estados básicos de la teoría del bosón quiral con tunelización

Conjuntos ordenados $\langle \mathbb{N} \times \mathbb{Q}, \le_{lex} \rangle$ $\langle \mathbb{Q} \times \mathbb{N}, \le_{lex} \rangle$ no isomorfos

Etiquetas mas usadas

i-Ciencias.com

Powered by: