Preguntas de model-teoría017

4

1Resp

223Vistas

expresividad de la lógica infinita computable

Abierta

Preguntado el 18 de Mayo, 2012 por mmw

5

1Resp

183Vistas

Ultraproductos por ultrafiltro contablemente completo

Abierta

Preguntado el 21 de Noviembre, 2013 por The_Bluesman

4

1Resp

127Vistas

¿Limitada de la adición y la multiplicación pueden computables en un modelo no estándar de la aritmética?

Abierta

Preguntado el 6 de Junio, 2018 por PyRulez

6

3Resp

301Vistas

¿Puede el conjunto vacío servir como universo de un semigrupo (es decir, un conjunto equipado con una operación binaria asociativa)?

Abierta

Preguntado el 22 de Septiembre, 2018 por Vera

5

1Resp

139Vistas

Saturación de campos real cerrados

Resuelta

Preguntado el 10 de Diciembre, 2017 por tseeling

4

1Resp

108Vistas

Secuencia de elementos ultrapower y su supremum

Resuelta

Preguntado el 18 de Febrero, 2018 por Nickolas

4

1Resp

241Vistas

Teorema de la prueba de compacidad

Resuelta

Preguntado el 18 de Febrero, 2013 por Prasanth Bendra

3

2Resp

164Vistas

¿Definición de un modelo?

Resuelta

Preguntado el 26 de Marzo, 2017 por willbradley

4

1Resp

211Vistas

¿$(\Bbb R,+)$ Y $(\Bbb Q, +)$ elemental equivalente?

Resuelta

Preguntado el 21 de Agosto, 2016 por Watson

4

1Resp

172Vistas

Ultraproducts de modelos de ZFC

Resuelta

Preguntado el 25 de Mayo, 2014 por Kyle Gannon

4

2Resp

190Vistas

¿Hay alguna razón para considerar fórmulas con múltiples cuantificadores en la misma variable?

Resuelta

Preguntado el 30 de Diciembre, 2013 por user3296

22

4Resp

1670Vistas

¿Por qué no podemos demostrar la consistencia de ZFC como podemos hacerlo con PA?

Resuelta

Preguntado el 2 de Noviembre, 2018 por Juan

4

2Resp

117Vistas

Funciones o relaciones estables bajo automorphism

Resuelta

Preguntado el 25 de Mayo, 2015 por user107952

4

1Resp

131Vistas

¿Es la relación de subconjunto axiomatizable?

Abierta

Preguntado el 10 de Junio, 2015 por user107952

4

1Resp

402Vistas

¿Cómo puede ser un conjunto de isomorfismos parciales definidas a partir de un sistema de n-y-atrás?

Abierta

Preguntado el 1 de Noviembre, 2013 por Ezra

4

1Resp

175Vistas

Una clase de morfismos entre modelos

Resuelta

Preguntado el 8 de Junio, 2017 por Primo Petri

10

2Resp

154Vistas

Dedekind finalización de ordenada campos

Resuelta

Preguntado el 12 de Noviembre, 2016 por Jordan Lev

4

2Resp

350Vistas

Definición de verdad en la lógica de primer orden

Abierta

Preguntado el 16 de Julio, 2016 por csTroubled

3

1Resp

198Vistas

¿Existe un modelo contable transitivo que satisfaga el mismo conjunto de sentencias de primer orden que $V$ ?

Resuelta

Preguntado el 22 de Octubre, 2015 por Rick

4

1Resp

128Vistas

Prueba de que el cofinality del cardenal menos mundano es $\omega$

Resuelta

Preguntado el 14 de Marzo, 2018 por CuriousKid7

8

2Resp

888Vistas

Es la geometría euclidiana completa y única

Abierta

Preguntado el 16 de Mayo, 2013 por Daniela Diaz

4

1Resp

118Vistas

La transferencia de los principios en la reducción de los productos y el axioma de elección

Resuelta

Preguntado el 17 de Septiembre, 2018 por bksunday

4

1Resp

146Vistas

Demostrar la no-existencia de primaria sub-modelos

Resuelta

Preguntado el 22 de Junio, 2017 por matt

4

1Resp

360Vistas

El álgebra de Lindenbaum es un álgebra libre

Resuelta

Preguntado el 18 de Junio, 2012 por Ralf

4

1Resp

139Vistas

Donde es el (original) comprobante de Klaus Potthoff del Teorema sobre el tipo de orden de la aritmética de los modelos?

Resuelta

Preguntado el 11 de Septiembre, 2015 por beegees

4

1Resp

196Vistas

Espectro de elementos en un conjunto.

Resuelta

Preguntado el 14 de Marzo, 2013 por Steve Rothman

4

2Resp

178Vistas

Mostrar que la PA puede probar el pigeon-hole principio

Resuelta

Preguntado el 20 de Enero, 2018 por user2875613

4

2Resp

187Vistas

Aclaraciones sobre la prueba del teorema de compacidad

Resuelta

Preguntado el 12 de Agosto, 2014 por Wojowu

4

1Resp

102Vistas

¿Los cascos Skolem canónicos son testigos de los pedidos de pozo definibles de primer orden?

Resuelta

Preguntado el 27 de Mayo, 2017 por Stefan

4

1Resp

147Vistas

¿Cómo son las cardinalidades no estándar?

Resuelta

Preguntado el 23 de Agosto, 2017 por Zeno

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

expresividad de la lógica infinita computable

Ultraproductos por ultrafiltro contablemente completo

¿Limitada de la adición y la multiplicación pueden computables en un modelo no estándar de la aritmética?

¿Puede el conjunto vacío servir como universo de un semigrupo (es decir, un conjunto equipado con una operación binaria asociativa)?

Saturación de campos real cerrados

Secuencia de elementos ultrapower y su supremum

Teorema de la prueba de compacidad

¿Definición de un modelo?

¿$(\Bbb R,+)$ Y $(\Bbb Q, +)$ elemental equivalente?

Ultraproducts de modelos de ZFC

¿Hay alguna razón para considerar fórmulas con múltiples cuantificadores en la misma variable?

¿Por qué no podemos demostrar la consistencia de ZFC como podemos hacerlo con PA?

Funciones o relaciones estables bajo automorphism

¿Es la relación de subconjunto axiomatizable?

¿Cómo puede ser un conjunto de isomorfismos parciales definidas a partir de un sistema de n-y-atrás?

Una clase de morfismos entre modelos

Dedekind finalización de ordenada campos

Definición de verdad en la lógica de primer orden

¿Existe un modelo contable transitivo que satisfaga el mismo conjunto de sentencias de primer orden que $V$ ?

Prueba de que el cofinality del cardenal menos mundano es $\omega$

Es la geometría euclidiana completa y única

La transferencia de los principios en la reducción de los productos y el axioma de elección

Demostrar la no-existencia de primaria sub-modelos

El álgebra de Lindenbaum es un álgebra libre

Donde es el (original) comprobante de Klaus Potthoff del Teorema sobre el tipo de orden de la aritmética de los modelos?

Espectro de elementos en un conjunto.

Mostrar que la PA puede probar el pigeon-hole principio

Aclaraciones sobre la prueba del teorema de compacidad

¿Los cascos Skolem canónicos son testigos de los pedidos de pozo definibles de primer orden?

¿Cómo son las cardinalidades no estándar?

Etiquetas mas usadas

i-Ciencias.com

Powered by: