Preguntas ciencias de model049

10

2Resp

189Vistas

¿Existe una forma sencilla de demostrar que $\text{GL}_n(R) \not\cong \text{GL}_m(R)$ ?

Resuelta

Preguntado el 7 de Marzo, 2016 por John M. Campbell

9

3Resp

291Vistas

Puede $(\Bbb N,\leq)$ tener un $\aleph_0$ -¿teoría categórica (en un lenguaje más amplio)?

Resuelta

Preguntado el 23 de Junio, 2014 por DanV

7

1Resp

332Vistas

Es Zermelo la teoría de conjuntos finitely axiomatizable?

Resuelta

Preguntado el 2 de Diciembre, 2012 por boertel

10

1Resp

273Vistas

¿Cuáles son los posibles mínima acl-dimensiones fuertemente mínima modelos?

Abierta

Preguntado el 11 de Mayo, 2012 por Shery

12

3Resp

218Vistas

¿Qué importancia tiene la "variedad de álgebras" en el Álgebra Universal?

Abierta

Preguntado el 23 de Marzo, 2016 por Larry

11

1Resp

272Vistas

No-estándar de pruebas de la norma teoremas

Abierta

Preguntado el 2 de Agosto, 2013 por Seirios

7

2Resp

209Vistas

Puede predicados adicionales "eliminar" no estándar de los modelos de la verdadera aritmética?

Resuelta

Preguntado el 18 de Septiembre, 2016 por Elliot Glazer

13

2Resp

2859Vistas

Importar archivo CSV grande en PostGIS

Resuelta

Preguntado el 13 de Enero, 2014 por bjwalls

7

1Resp

245Vistas

Una teoría de primer orden cuyos modelos finitos son exactamente los $\Bbb F_p$

Resuelta

Preguntado el 20 de Junio, 2013 por Dominik

7

1Resp

251Vistas

Números complejos no estándar y categoricidad

Resuelta

Preguntado el 17 de Agosto, 2014 por notpeter

9

1Resp

328Vistas

Ultrapoderes no isomórficos

Resuelta

Preguntado el 17 de Enero, 2013 por Santiago C.

7

1Resp

191Vistas

¿Qué es más robusto que un homomorfismo estructural?

Resuelta

Preguntado el 17 de Mayo, 2013 por goblin

10

1Resp

252Vistas

Gödel de la prueba ontológica y "modal se derrumba"

Abierta

Preguntado el 8 de Mayo, 2016 por Tom SymplMech

20

5Resp

910Vistas

¿En qué sentido de "estructura" hacer grupo homomorphisms "preservar la estructura"?

Resuelta

Preguntado el 21 de Febrero, 2015 por user894795

7

1Resp

909Vistas

PostGIS intersección y resumir los atributos

Resuelta

Preguntado el 28 de Septiembre, 2011 por Nels Beckman

11

4Resp

4147Vistas

ST_Intersection lento de la consulta

Resuelta

Preguntado el 15 de Abril, 2011 por Ryan Duffield

8

1Resp

1372Vistas

Edición de tablas con SQL en ArcMap

Resuelta

Preguntado el 8 de Julio, 2011 por Josh Brown

7

1Resp

344Vistas

¿Cuáles son las propiedades formales de la numeración de Gödel que se requieren para hacer el 'trabajo'?

Resuelta

Preguntado el 11 de Febrero, 2013 por msutherl

7

2Resp

300Vistas

Lógica en la metateoría

Resuelta

Preguntado el 8 de Diciembre, 2010 por Shabaz

8

2Resp

225Vistas

Dos teorías $T,T'$, ¿qué ¿$T\vdash Con(T')$ realmente nos dice acerca de los modelos de $T$?

Resuelta

Preguntado el 12 de Noviembre, 2013 por Malice Vidrine

8

1Resp

238Vistas

Hay fuertemente axiomatizable lógicas que no son compactos?

Abierta

Preguntado el 24 de Mayo, 2011 por bob

7

2Resp

301Vistas

Ejemplo de un conjunto que está en $\mathbf V$ pero no en $\mathbf L$

Resuelta

Preguntado el 22 de Diciembre, 2012 por Rudy the Reindeer

7

2Resp

223Vistas

Hay una racionalidad-la preservación del orden isomorfismo entre el $\mathbb{Q}$ y dos abiertos disjuntos intervalos?

Resuelta

Preguntado el 7 de Noviembre, 2014 por Anatoly Rr

8

2Resp

297Vistas

Una definición de la verdad, mal, pero donde

Resuelta

Preguntado el 2 de Febrero, 2014 por seoneo

11

5Resp

1242Vistas

¿Es necesario que el modelo de la teoría sea un conjunto?

Resuelta

Preguntado el 18 de Febrero, 2010 por Renaud Bompuis

8

1Resp

251Vistas

¿Los resultados metateóricos se trasladan entre teorías mutuamente interpretables?

Resuelta

Preguntado el 30 de Diciembre, 2013 por user894795

12

1Resp

1906Vistas

Cómo traza de SQL las consultas enviadas por ArcGIS Server (ArcSDE) a la base de datos de Oracle?

Resuelta

Preguntado el 24 de Mayo, 2013 por Babu

8

3Resp

505Vistas

Cómo es exactamente lo que la lógica y las matemáticas interactuar y ¿qué sucede cuando cambiamos la lógica?

Resuelta

Preguntado el 22 de Febrero, 2012 por confused

8

1Resp

203Vistas

Es $\mathbb{N}$ definible en $(\mathbb{Z},0,S)$?

Resuelta

Preguntado el 3 de Febrero, 2015 por ronno

11

3Resp

530Vistas

¿Por qué son estructuras muy interesante?

Resuelta

Preguntado el 20 de Agosto, 2016 por Benjamin Stütz

Preguntas ciencias model

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Existe una forma sencilla de demostrar que $\text{GL}_n(R) \not\cong \text{GL}_m(R)$ ?

Puede $(\Bbb N,\leq)$ tener un $\aleph_0$ -¿teoría categórica (en un lenguaje más amplio)?

Es Zermelo la teoría de conjuntos finitely axiomatizable?

¿Cuáles son los posibles mínima acl-dimensiones fuertemente mínima modelos?

¿Qué importancia tiene la "variedad de álgebras" en el Álgebra Universal?

No-estándar de pruebas de la norma teoremas

Puede predicados adicionales "eliminar" no estándar de los modelos de la verdadera aritmética?

Importar archivo CSV grande en PostGIS

Una teoría de primer orden cuyos modelos finitos son exactamente los $\Bbb F_p$

Números complejos no estándar y categoricidad

Ultrapoderes no isomórficos

¿Qué es más robusto que un homomorfismo estructural?

Gödel de la prueba ontológica y "modal se derrumba"

¿En qué sentido de "estructura" hacer grupo homomorphisms "preservar la estructura"?

PostGIS intersección y resumir los atributos

ST_Intersection lento de la consulta

Edición de tablas con SQL en ArcMap

¿Cuáles son las propiedades formales de la numeración de Gödel que se requieren para hacer el 'trabajo'?

Lógica en la metateoría

Dos teorías $T,T'$, ¿qué ¿$T\vdash Con(T')$ realmente nos dice acerca de los modelos de $T$?

Hay fuertemente axiomatizable lógicas que no son compactos?

Ejemplo de un conjunto que está en $\mathbf V$ pero no en $\mathbf L$

Hay una racionalidad-la preservación del orden isomorfismo entre el $\mathbb{Q}$ y dos abiertos disjuntos intervalos?

Una definición de la verdad, mal, pero donde

¿Es necesario que el modelo de la teoría sea un conjunto?

¿Los resultados metateóricos se trasladan entre teorías mutuamente interpretables?

Cómo traza de SQL las consultas enviadas por ArcGIS Server (ArcSDE) a la base de datos de Oracle?

Cómo es exactamente lo que la lógica y las matemáticas interactuar y ¿qué sucede cuando cambiamos la lógica?

Es $\mathbb{N}$ definible en $(\mathbb{Z},0,S)$?

¿Por qué son estructuras muy interesante?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: