Preguntas ciencias de model046

6

1Resp

874Vistas

Spatialite SpatialSQL Consulta

Resuelta

Preguntado el 8 de Marzo, 2011 por Marc

5

1Resp

236Vistas

Lenguaje semiformal - El universo tiene al menos tres elementos

Resuelta

Preguntado el 24 de Abril, 2013 por Babla

5

1Resp

191Vistas

El ultraproducto$\mathbb{N}^\mathbb{N} / \mathcal{F}$ es incontable

Abierta

Preguntado el 30 de Enero, 2013 por José De la O

6

1Resp

166Vistas

¿Puede esta secuencia un número hiperreal? ¿Cuál sería su parte real?

Resuelta

Preguntado el 11 de Agosto, 2015 por Michael Langbein

18

1Resp

310Vistas

Las continuaciones en matemáticas: niza ejemplos?

Abierta

Preguntado el 5 de Julio, 2017 por Thiha Maung

5

1Resp

176Vistas

¿Dado cualquier conjunto de axiomas consistentes, siempre es posible encontrar un modelo para estos axiomas de ZFC Fije la teoría?

Resuelta

Preguntado el 7 de Agosto, 2015 por Thomas Redding

5

1Resp

133Vistas

¿Qué frases sobreviven al pasaje de $X$ al conjunto de todas las funciones $I \rightarrow X$ ?

Resuelta

Preguntado el 21 de Noviembre, 2013 por goblin

9

1Resp

251Vistas

Puede que los números naturales ser único, después de todo?

Resuelta

Preguntado el 15 de Mayo, 2017 por M. Winter

6

2Resp

168Vistas

¿Hay un primer orden fórmula $\varphi[x]$ $(\mathbb Q, +, \cdot, 0)$ tal que iff de $x≥0$$\varphi[x]$?

Resuelta

Preguntado el 3 de Febrero, 2016 por Watson

8

1Resp

379Vistas

Los cuantificadores como adjuntos en la lógica generalizada

Resuelta

Preguntado el 26 de Julio, 2013 por Kitsune

8

1Resp

198Vistas

¿Hay ningún no trivial ' potencialmente categórico ' primer orden teorías?

Resuelta

Preguntado el 27 de Junio, 2017 por Exomnium

5

1Resp

152Vistas

Omitir tipos... recursivamente

Resuelta

Preguntado el 28 de Junio, 2013 por Johan

5

2Resp

882Vistas

Teoría elemental de los campos finitos

Abierta

Preguntado el 8 de Diciembre, 2009 por pottedmeat

5

2Resp

376Vistas

¿Qué axiomas hay que añadir a la ZFC de segundo orden para que tenga un modelo único (hasta el isomorfismo)?

Resuelta

Preguntado el 1 de Marzo, 2013 por goblin

6

2Resp

179Vistas

Extensión primaria contable explícita de $\mathbb{N}$

Abierta

Preguntado el 29 de Diciembre, 2015 por Andrey Arapov

5

1Resp

138Vistas

Restricciones de automorfismos primaria subestructuras

Resuelta

Preguntado el 1 de Julio, 2013 por user38562

6

1Resp

135Vistas

La teoría de órdenes infinitas discretas está completa

Resuelta

Preguntado el 20 de Junio, 2017 por Max

17

5Resp

662Vistas

Estructuras no-isomorfos de la misma cardinalidad que son equivalente a primaria

Abierta

Preguntado el 20 de Junio, 2017 por W. Rether

10

2Resp

359Vistas

Teoría de modelos finitos

Resuelta

Preguntado el 30 de Abril, 2014 por nishant

15

2Resp

341Vistas

Juegos innumerables en los modelos contables de ZFC

Resuelta

Preguntado el 17 de Junio, 2017 por Steven

5

3Resp

246Vistas

Superestructura con sistemas como entidades de base atómica

Resuelta

Preguntado el 16 de Marzo, 2012 por Rachel

6

2Resp

122Vistas

¿Existe el primer orden fórmula $Z(x)$ $\langle 0, +, \le\rangle$ de la lengua sobre el campo $\mathbb{Q}$ expresa el hecho de que $x$ es entero?

Resuelta

Preguntado el 8 de Enero, 2017 por user389821

6

2Resp

6589Vistas

Consulta de definición de ARCGIS 10 para seleccionar el valor máximo de un grupo

Resuelta

Preguntado el 25 de Abril, 2012 por user6784

7

2Resp

460Vistas

¿Por qué la hipótesis del continuo implica el sistema única hyperreal, ${}^{\ast}{\Bbb R}$?

Resuelta

Preguntado el 25 de Mayo, 2013 por Lindsay

6

1Resp

280Vistas

¿Dos formas del teorema de Beth?

Resuelta

Preguntado el 27 de Enero, 2013 por ManuelSchneid3r

7

2Resp

291Vistas

Modelo de teoría en teoría del grupo

Resuelta

Preguntado el 19 de Enero, 2013 por Seirios

8

3Resp

387Vistas

Confusión de decidability de $(N,s)$

Resuelta

Preguntado el 25 de Febrero, 2013 por Stefan Dombrowski

6

1Resp

191Vistas

Aparece un modelo salvaje de $\mathcal{T}(\mathbb{N})$...

Abierta

Preguntado el 30 de Mayo, 2017 por Tsu Jan

7

1Resp

160Vistas

Teoría de (Z, +) tiene uncountably muchos tipos de 1

Abierta

Preguntado el 30 de Enero, 2013 por José De la O

10

2Resp

1628Vistas

Sintaxis SQL de GDAL agregar un puesto valores de campo

Resuelta

Preguntado el 2 de Mayo, 2013 por NVI

Preguntas ciencias model

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Spatialite SpatialSQL Consulta

Lenguaje semiformal - El universo tiene al menos tres elementos

El ultraproducto$\mathbb{N}^\mathbb{N} / \mathcal{F}$ es incontable

¿Puede esta secuencia un número hiperreal? ¿Cuál sería su parte real?

Las continuaciones en matemáticas: niza ejemplos?

¿Dado cualquier conjunto de axiomas consistentes, siempre es posible encontrar un modelo para estos axiomas de ZFC Fije la teoría?

¿Qué frases sobreviven al pasaje de $X$ al conjunto de todas las funciones $I \rightarrow X$ ?

Puede que los números naturales ser único, después de todo?

¿Hay un primer orden fórmula $\varphi[x]$ $(\mathbb Q, +, \cdot, 0)$ tal que iff de $x≥0$$\varphi[x]$?

Los cuantificadores como adjuntos en la lógica generalizada

¿Hay ningún no trivial ' potencialmente categórico ' primer orden teorías?

Omitir tipos... recursivamente

Teoría elemental de los campos finitos

¿Qué axiomas hay que añadir a la ZFC de segundo orden para que tenga un modelo único (hasta el isomorfismo)?

Extensión primaria contable explícita de $\mathbb{N}$

Restricciones de automorfismos primaria subestructuras

La teoría de órdenes infinitas discretas está completa

Estructuras no-isomorfos de la misma cardinalidad que son equivalente a primaria

Teoría de modelos finitos

Juegos innumerables en los modelos contables de ZFC

Superestructura con sistemas como entidades de base atómica

¿Existe el primer orden fórmula $Z(x)$ $\langle 0, +, \le\rangle$ de la lengua sobre el campo $\mathbb{Q}$ expresa el hecho de que $x$ es entero?

Consulta de definición de ARCGIS 10 para seleccionar el valor máximo de un grupo

¿Por qué la hipótesis del continuo implica el sistema única hyperreal, ${}^{\ast}{\Bbb R}$?

¿Dos formas del teorema de Beth?

Modelo de teoría en teoría del grupo

Confusión de decidability de $(N,s)$

Aparece un modelo salvaje de $\mathcal{T}(\mathbb{N})$...

Teoría de (Z, +) tiene uncountably muchos tipos de 1

Sintaxis SQL de GDAL agregar un puesto valores de campo

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: