Preguntas ciencias de order019

6

1Resp

117Vistas

Áreas de investigación en aritmética de Peano

Resuelta

Preguntado el 2 de Agosto, 2018 por user2875613

9

2Resp

288Vistas

Categoricity de segundo orden las teorías - precisamente ¿qué significa?

Resuelta

Preguntado el 2 de Agosto, 2018 por Dain

4

1Resp

135Vistas

¿Es un conjunto totalmente ordenado, a que podemos asignar cualquier otro conjunto totalmente ordenado?

Resuelta

Preguntado el 3 de Marzo, 2015 por MoSiAc

3

1Resp

104Vistas

Demostrar que $<$ definido anteriormente en $\hat f$ es un bien pedidos de orden tipo $\epsilon_{0}$

Abierta

Preguntado el 9 de Diciembre, 2017 por JacobAtkins

4

1Resp

149Vistas

Mostrar una estructura es mínimo

Resuelta

Preguntado el 1 de Noviembre, 2016 por Sibusiso Ndlovu

4

2Resp

159Vistas

Conjuntos dirigidos para describir una topología con redes.

Resuelta

Preguntado el 19 de Diciembre, 2014 por Questioner

4

1Resp

109Vistas

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

122Vistas

¿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

165Vistas

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

Abierta

Preguntado el 23 de Julio, 2018 por Dain

6

1Resp

145Vistas

"Débiles" y "Fuerte" aislantes topológicos

Resuelta

Preguntado el 20 de Julio, 2018 por Mohamed Zaki

4

1Resp

149Vistas

Generalización de los posets

Abierta

Preguntado el 8 de Abril, 2015 por rob

5

1Resp

745Vistas

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

3

1Resp

136Vistas

¿Es esta la forma correcta de traducir esta fórmula a la forma CN prenex?

Resuelta

Preguntado el 29 de Marzo, 2017 por name

5

1Resp

159Vistas

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

5

3Resp

254Vistas

Prueba trivial en ZFC

Resuelta

Preguntado el 9 de Marzo, 2014 por user132181

4

1Resp

154Vistas

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

Resuelta

Preguntado el 5 de Septiembre, 2017 por Moncader

3

2Resp

113Vistas

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

397Vistas

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

Resuelta

Preguntado el 18 de Julio, 2013 por Eric

6

1Resp

152Vistas

Condiciones suficientes para la diferencia de matrices A B positivo definido

Abierta

Preguntado el 4 de Julio, 2018 por JohnA

8

1Resp

122Vistas

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

Resuelta

Preguntado el 29 de Noviembre, 2015 por sewo

6

2Resp

376Vistas

Que de segundo orden, las teorías tienen un modelo?

Resuelta

Preguntado el 2 de Julio, 2018 por kevtrout

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 ಠ_ಠ

3

2Resp

145Vistas

Una es una proposición fórmula que contiene sólo el fib. A es una tautología iff cada proposición atómica en Una aparece un número par de veces.

Resuelta

Preguntado el 30 de Marzo, 2017 por Besart Dollma

4

1Resp

229Vistas

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

Resuelta

Preguntado el 25 de Noviembre, 2014 por goblin

5

1Resp

179Vistas

¿Es un entramado completo de cadenas?

Abierta

Preguntado el 30 de Septiembre, 2013 por Shreyansh Chouhan

5

1Resp

552Vistas

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

297Vistas

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

Resuelta

Preguntado el 26 de Abril, 2013 por Andre Holzner

4

1Resp

129Vistas

Cualquier dos boleanas atomless contables son isomorfos

Resuelta

Preguntado el 12 de Julio, 2015 por Cfr

6

1Resp

133Vistas

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

Resuelta

Preguntado el 10 de Junio, 2018 por Kendall Bennett

24

2Resp

2224Vistas

Función de predicado vs

Resuelta

Preguntado el 27 de Febrero, 2013 por yoyostein

Preguntas ciencias order

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Áreas de investigación en aritmética de Peano

Categoricity de segundo orden las teorías - precisamente ¿qué significa?

¿Es un conjunto totalmente ordenado, a que podemos asignar cualquier otro conjunto totalmente ordenado?

Demostrar que $<$ definido anteriormente en $\hat f$ es un bien pedidos de orden tipo $\epsilon_{0}$

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?

"Débiles" y "Fuerte" aislantes topológicos

Generalización de los posets

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

¿Es esta la forma correcta de traducir esta fórmula a la forma CN prenex?

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

Prueba trivial en ZFC

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?

Que de segundo orden, las teorías tienen un modelo?

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

Una es una proposición fórmula que contiene sólo el fib. A es una tautología iff cada proposición atómica en Una aparece un número par de veces.

¿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}, =, <)$

Función de predicado vs

Etiquetas mas usadas

i-Ciencias.com

Powered by: