Preguntas ciencias model-teoría

Puntuación Visitas Fecha
Imagen de perfil de Kyle Gannon

7

1Resp
264Vistas

Construcción de ultrafiltros

Resuelta
Preguntado el 10 de Julio, 2014 por Kyle Gannon
Etiquetas :
Imagen de perfil de nap

7

2Resp
338Vistas

Álgebras booleanas sin átomos

Resuelta
Preguntado el 16 de Mayo, 2011 por nap
Etiquetas :
Imagen de perfil de Murphy

6

2Resp
169Vistas

Eliminación de conjuntos de modelos de teoría de conjuntos

Abierta
Preguntado el 24 de Marzo, 2014 por Murphy
Etiquetas :
Foto de perfil de John O

6

2Resp
204Vistas

¿Lo que ' s el nombre de este operador?

Resuelta
Preguntado el 9 de Junio, 2012 por John O
Etiquetas :
Imagen de perfil de Mark Baker

6

1Resp
198Vistas

Demostrando que una declaración es absoluta.

Resuelta
Preguntado el 14 de Octubre, 2013 por Mark Baker
Etiquetas :
Foto de perfil de Jon Bright

6

2Resp
277Vistas

Axiomas de atomless boleanas

Resuelta
Preguntado el 22 de Julio, 2011 por Jon Bright
Etiquetas :
Imagen de perfil de Adam Gutter

8

1Resp
243Vistas

Teoría de los modelos (Hodges), sección 2.1, ejercicio 13

Abierta
Preguntado el 5 de Julio, 2013 por Adam Gutter
Etiquetas :
Imagen de perfil de Shathur

10

1Resp
215Vistas

¿Por qué no existe una teoría de primer orden del pozo?

Resuelta
Preguntado el 19 de Septiembre, 2014 por Shathur
Etiquetas :
Imagen de perfil de Questioner

6

2Resp
180Vistas

Describir las propiedades del anillo en términos de oraciones infinitary (Hodges, teoría modelo, 2.2-9)

Abierta
Preguntado el 8 de Octubre, 2016 por Questioner
Etiquetas :
Foto de perfil de John Devou

7

2Resp
174Vistas

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

Resuelta
Preguntado el 15 de Junio, 2016 por John Devou
Etiquetas :
Imagen de perfil de Keshav Srinivasan

9

2Resp
401Vistas

¿Hay una axiomatización de ZF(C) de segundo orden, que es categórico?

Abierta
Preguntado el 21 de Septiembre, 2013 por Keshav Srinivasan
Etiquetas :
Foto de perfil de Tsu Jan

6

1Resp
210Vistas

¿Piezas entero isomorfas?

Abierta
Preguntado el 29 de Octubre, 2015 por Tsu Jan
Etiquetas :
Foto de perfil de casperOne

6

2Resp
351Vistas

El axioma de elección y el definability

Resuelta
Preguntado el 25 de Abril, 2013 por casperOne
Etiquetas :
Foto de perfil de goblin

10

2Resp
588Vistas

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

Resuelta
Preguntado el 7 de Julio, 2013 por goblin
Etiquetas :
Foto de perfil de x-way

6

3Resp
1198Vistas

Formalización de la "no basura, no hay confusión"

Resuelta
Preguntado el 23 de Febrero, 2010 por x-way
Etiquetas :
Foto de perfil de Rachel

8

1Resp
484Vistas

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

Resuelta
Preguntado el 10 de Enero, 2012 por Rachel
Etiquetas :
Imagen de perfil de Anguepa

6

1Resp
124Vistas

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

Resuelta
Preguntado el 1 de Octubre, 2016 por Anguepa
Etiquetas :
Foto de perfil de Random Jack

6

1Resp
251Vistas

Usando el teorema de compacidad para refutar axiomatizability

Resuelta
Preguntado el 2 de Agosto, 2014 por Random Jack
Etiquetas :
Foto de perfil de Jing Zhang

5

1Resp
269Vistas

Detección de comparabilidad en submodelo primaria contable

Resuelta
Preguntado el 10 de Diciembre, 2015 por Jing Zhang
Etiquetas :
Imagen de perfil de Rudy the Reindeer

8

3Resp
708Vistas

Completa primera orden teoría modelo finita es categórico

Resuelta
Preguntado el 16 de Noviembre, 2012 por Rudy the Reindeer
Etiquetas :
Foto de perfil de Cfr

7

2Resp
184Vistas

Definir la existencia de un elemento no algebraico en el % de lenguaje $L:= \{0,1,+,\cdot\}$

Resuelta
Preguntado el 11 de Agosto, 2015 por Cfr
Etiquetas :
Foto de perfil de Giuseppe

6

1Resp
394Vistas

Campo infinito de característica p equivalente elemental a campo con elemento trascendental sobre subcampo primer

Resuelta
Preguntado el 3 de Agosto, 2011 por Giuseppe
Etiquetas :
Imagen de perfil de Oudin

6

1Resp
161Vistas

nociones generales de la "base" de la teoría de álgebra / modelo

Resuelta
Preguntado el 30 de Junio, 2015 por Oudin
Etiquetas :
Foto de perfil de MikeV

7

1Resp
297Vistas

¿Un modelo de geometría con la negación del axioma de Pasch?

Resuelta
Preguntado el 5 de Febrero, 2014 por MikeV
Etiquetas :
Foto de perfil de jasonjwwilliams

7

2Resp
1041Vistas

¿Cuál es un ejemplo de un modelo finito en lógica de primer orden que tiene un único elemento indefinible?

Resuelta
Preguntado el 29 de Septiembre, 2010 por jasonjwwilliams
Etiquetas :
Imagen de perfil de Scott Kramer

7

3Resp
625Vistas

¿Qué supuestos y la metodología no metaproofs de teoremas lógicos usan y emplean?

Resuelta
Preguntado el 14 de Diciembre, 2009 por Scott Kramer
Etiquetas :
Foto de perfil de Michael Caron

8

1Resp
253Vistas

equivalencia elemental de anillos de polinomios

Resuelta
Preguntado el 15 de Septiembre, 2013 por Michael Caron
Etiquetas :
Foto de perfil de Kyle Gannon

6

2Resp
168Vistas

Ultraproducts e incrustaciones primaria

Resuelta
Preguntado el 30 de Noviembre, 2014 por Kyle Gannon
Etiquetas :
Foto de perfil de Santiago C.

9

3Resp
1098Vistas

Una sentencia de primer orden tal que el espectro finito de esa sentencia son los números primos

Resuelta
Preguntado el 20 de Marzo, 2011 por Santiago C.
Etiquetas :
Foto de perfil de Malice Vidrine

6

3Resp
285Vistas

¿Por qué se puede observar cualquier tipo?

Resuelta
Preguntado el 28 de Noviembre, 2013 por Malice Vidrine
Etiquetas :

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

Yandex
X