Preguntas de model-teoría014

6

1Resp

124Vistas

Estructuras estrictamente entre $\{\mathbb{R},+,<\}$y $\{\mathbb{R},+,\cdot,<\}$.

Resuelta

Preguntado el 1 de Octubre, 2016 por Anguepa

8

1Resp

484Vistas

¿Espacios topológicos como estructuras modelo teórico--definiciones?

Resuelta

Preguntado el 10 de Enero, 2012 por Rachel

10

2Resp

588Vistas

¿Las estructuras isomorfas siempre satisfacen las mismas oraciones de segundo orden?

Resuelta

Preguntado el 7 de Julio, 2013 por goblin

6

2Resp

351Vistas

El axioma de elección y el definability

Resuelta

Preguntado el 25 de Abril, 2013 por casperOne

6

1Resp

210Vistas

¿Piezas entero isomorfas?

Abierta

Preguntado el 29 de Octubre, 2015 por Tsu Jan

7

2Resp

174Vistas

¿Tiene el siguiente conjunto de fórmulas un modelo finito?

Resuelta

Preguntado el 15 de Junio, 2016 por John Devou

7

1Resp

264Vistas

Construcción de ultrafiltros

Resuelta

Preguntado el 10 de Julio, 2014 por Kyle Gannon

6

1Resp

537Vistas

¿Implica la existencia de una $\mathbb{Q}$-base, $\mathbb{R}$ que tiene opción hasta $\frak c$?

Resuelta

Preguntado el 21 de Marzo, 2012 por Desiato

7

1Resp

465Vistas

Diferencia entre subestructura elemental de submodelo y elemental

Abierta

Preguntado el 24 de Abril, 2013 por yoyostein

6

1Resp

280Vistas

¿Dos formas del teorema de Beth?

Resuelta

Preguntado el 27 de Enero, 2013 por ManuelSchneid3r

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

5

3Resp

246Vistas

Superestructura con sistemas como entidades de base atómica

Resuelta

Preguntado el 16 de Marzo, 2012 por Rachel

15

2Resp

341Vistas

Juegos innumerables en los modelos contables de ZFC

Resuelta

Preguntado el 17 de Junio, 2017 por Steven

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

5

1Resp

138Vistas

Restricciones de automorfismos primaria subestructuras

Resuelta

Preguntado el 1 de Julio, 2013 por user38562

6

2Resp

179Vistas

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

Abierta

Preguntado el 29 de Diciembre, 2015 por Andrey Arapov

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

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

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

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

156Vistas

Modelos no isomórficos de PA con grupos de automorfismo isomórficos

Resuelta

Preguntado el 4 de Septiembre, 2016 por Jonathan Fruchter

5

1Resp

175Vistas

¿Es lógica infinitary $\mathcal{L}_{\infty\omega}$ una lógica abstracta?

Resuelta

Preguntado el 11 de Julio, 2014 por MaxVT

5

1Resp

405Vistas

finitud y primeras oraciones de la orden

Resuelta

Preguntado el 12 de Junio, 2013 por Babla

4

1Resp

160Vistas

¿Por qué sería esto una $T_1$ -¿espacio?

Resuelta

Preguntado el 16 de Febrero, 2017 por Max

5

2Resp

207Vistas

El conjunto de enteros impares no es definible en$(\mathbb{Z},+)$ por una fórmula existencial

Resuelta

Preguntado el 3 de Enero, 2015 por jh4

6

1Resp

305Vistas

En ZF, ¿existe un ordinal de demostrablemente innumerables cofinality?

Resuelta

Preguntado el 10 de Junio, 2013 por casperOne

18

2Resp

3583Vistas

¿Hay un bijection entre los reales y naturales?

Resuelta

Preguntado el 13 de Septiembre, 2017 por fR0DDY

7

2Resp

228Vistas

¿Existe un enfoque constructivo que sustituya a la construcción de Henkin?

Abierta

Preguntado el 3 de Octubre, 2015 por Name

12

2Resp

172Vistas

contraejemplo para los tipos omitiendo en incontables idiomas

Resuelta

Preguntado el 18 de Septiembre, 2017 por Primo Petri

5

2Resp

141Vistas

Indiscernible para crear descendente de la cadena de primaria modelos

Abierta

Preguntado el 13 de Junio, 2015 por Elias Estatistics

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Estructuras estrictamente entre $\{\mathbb{R},+,<\}$y $\{\mathbb{R},+,\cdot,<\}$.

¿Espacios topológicos como estructuras modelo teórico--definiciones?

¿Las estructuras isomorfas siempre satisfacen las mismas oraciones de segundo orden?

El axioma de elección y el definability

¿Piezas entero isomorfas?

¿Tiene el siguiente conjunto de fórmulas un modelo finito?

Construcción de ultrafiltros

¿Implica la existencia de una $\mathbb{Q}$-base, $\mathbb{R}$ que tiene opción hasta $\frak c$?

Diferencia entre subestructura elemental de submodelo y elemental

¿Dos formas del teorema de Beth?

¿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?

Superestructura con sistemas como entidades de base atómica

Juegos innumerables en los modelos contables de ZFC

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

Restricciones de automorfismos primaria subestructuras

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

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

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

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

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

Modelos no isomórficos de PA con grupos de automorfismo isomórficos

¿Es lógica infinitary $\mathcal{L}_{\infty\omega}$ una lógica abstracta?

finitud y primeras oraciones de la orden

¿Por qué sería esto una $T_1$ -¿espacio?

El conjunto de enteros impares no es definible en$(\mathbb{Z},+)$ por una fórmula existencial

En ZF, ¿existe un ordinal de demostrablemente innumerables cofinality?

¿Hay un bijection entre los reales y naturales?

¿Existe un enfoque constructivo que sustituya a la construcción de Henkin?

contraejemplo para los tipos omitiendo en incontables idiomas

Indiscernible para crear descendente de la cadena de primaria modelos

Etiquetas mas usadas

i-Ciencias.com

Powered by: