Historial de «Teorema de Löwenheim-Skolem»

14 mar 2024

• actant 02:3402:34 14 mar 2024 InternetArchiveBot discusión contribs. 4694 bytes +63 Agregar 1 libro para verificar la verificabilidad (20240310)) #IABot (v2.0.9.5) (GreenC bot deshacer

1 ago 2019

• actant 10:3810:38 1 ago 2019 Aosbot discusión contribs. m 4631 bytes +27 Mantenimiento de Control de autoridades deshacer

20 ene 2019

• actant 21:0921:09 20 ene 2019 Sophivorus discusión contribs. 4604 bytes +25 Referencia editada con ProveIt deshacer Etiqueta: ProveIt

13 ene 2019

• actant 12:3112:31 13 ene 2019 Sophivorus discusión contribs. 4579 bytes +353 Traigo párrafo desde Lógica matemática#Metalógica deshacer Etiqueta: Edición visual

12 may 2017

• actant 16:5416:54 12 may 2017 Semibot discusión contribs. m 4226 bytes +4 Bot: Añadir enlaces internos: University of California Press deshacer

16 nov 2015

• actant 21:2321:23 16 nov 2015 CEM-bot discusión contribs. m 4222 bytes +1 Pequeñas correcciones WP:CEM. deshacer

27 jun 2013

• actant 13:5713:57 27 jun 2013 201.184.184.226 discusión 4221 bytes 0 →El teorema de Löwenheim-Skolem ascendente deshacer

9 mar 2013

• actant 03:2803:28 9 mar 2013 KLBot2 discusión contribs. m 4221 bytes −612 Bot: Moviendo 14 enlaces interlingüisticos a d:Q1068283 en Wikidata deshacer

1 ene 2013

• actant 16:4516:45 1 ene 2013 Davius discusión contribs. m 4833 bytes +44 Sin resumen de edición deshacer

15 abr 2012

• actant 10:3710:37 15 abr 2012 Minsbot discusión contribs. m 4789 bytes +44 r2.7.2) (robot Añadido: he:משפט לוונהיים-סקולם deshacer

8 mar 2012

• actant 07:1707:17 8 mar 2012 EmausBot discusión contribs. m 4745 bytes 0 r2.7.2+) (robot Modificado: zh:勒文海姆–斯科伦定理 deshacer

25 nov 2011

• actant 06:5306:53 25 nov 2011 VolkovBot discusión contribs. m 4745 bytes 0 r2.5.1) (robot Modificado: ru:Теорема Лёвенгейма — Скулема deshacer

18 sep 2011

• actant 21:1821:18 18 sep 2011 Alonsozela discusión contribs. m 4745 bytes +24 Modifiqué las L por ℒ deshacer

22 dic 2010

• actant 07:0307:03 22 dic 2010 Luckas-bot discusión contribs. m 4721 bytes +37 r2.5.2) (robot Añadido: ko:뢰벤하임-스콜렘 정리 deshacer

11 dic 2010

• actant 12:0612:06 11 dic 2010 Sophivorus discusión contribs. m 4684 bytes −2 Sin resumen de edición deshacer
• actant 12:0312:03 11 dic 2010 Sophivorus discusión contribs. m 4686 bytes −9 Sin resumen de edición deshacer
• actant 12:0212:02 11 dic 2010 Sophivorus discusión contribs. 4695 bytes +1399 Mejoré, referencié y wikifiqué deshacer

21 sep 2010

• actant 14:4614:46 21 sep 2010 Sophivorus discusión contribs. m 3296 bytes +27 Categorizando en Metalógica ¿nos ayudas? deshacer

19 feb 2010

• actant 09:1009:10 19 feb 2010 ArthurBot discusión contribs. m 3269 bytes +3 robot Modificado: cs:Löwenheimova-Skolemova věta deshacer

30 ene 2010

• actant 22:5022:50 30 ene 2010 Ptbotgourou discusión contribs. m 3266 bytes +2 robot Modificado: zh:勒文海姆－斯科伦定理 deshacer

25 ene 2010

• actant 15:5115:51 25 ene 2010 Juan Mayordomo discusión contribs. 3264 bytes +11 categorizando deshacer

22 sep 2009

• actant 16:1116:11 22 sep 2009 D'ohBot discusión contribs. m 3253 bytes +62 robot Añadido: uk:Теорема Льовенгейма—Сколема deshacer

14 jul 2009

• actant 22:4122:41 14 jul 2009 Loveless discusión contribs. m 3191 bytes +38 robot Añadido: nl:Stelling van Löwenheim-Skolem deshacer

15 may 2009

• actant 03:1003:10 15 may 2009 PaintBot discusión contribs. m 3153 bytes +17 Bot: poniendo timestamp a {{wikificar}}. deshacer

18 dic 2008

• actant 05:0205:02 18 dic 2008 Alfredobi discusión contribs. 3136 bytes +18 →Teorema de Löwenheim, Skolem y Tarski deshacer

22 oct 2008

• actant 08:2808:28 22 oct 2008 Barnacaga discusión contribs. m 3118 bytes +57 robot Añadido: ja:レーヴェンハイム-スコーレムの定理 deshacer

23 ago 2008

• actant 11:4511:45 23 ago 2008 LucienBOT discusión contribs. m 3061 bytes +51 robot Añadido: pms:Teorema ëd Löwenheim-Skolem-Tarski; cambios triviales deshacer

5 jul 2008

• actant 23:2523:25 5 jul 2008 Ignacio Icke discusión contribs. m 3010 bytes +324 →Teorema de Löwenheim, Skolem y Tarski: iws deshacer

16 mar 2008

• actant 15:3115:31 16 mar 2008 Folkvanger discusión contribs. 2686 bytes +8 +cat wikificar deshacer

6 mar 2007

• actant 21:5821:58 6 mar 2007 MILO discusión contribs. m 2678 bytes +40 PR:C deshacer

27 feb 2007

• actant 22:1122:11 27 feb 2007 Cobbor discusión contribs. 2638 bytes +3 Sin resumen de edición deshacer
• actant 22:1022:10 27 feb 2007 Cobbor discusión contribs. 2635 bytes −1 →Teorema de Lowenheim y Skolem descendente deshacer
• actant 22:0822:08 27 feb 2007 Cobbor discusión contribs. 2636 bytes +2231 Sin resumen de edición deshacer
• actant 21:4921:49 27 feb 2007 Cobbor discusión contribs. 405 bytes +405 Página nueva: Los lenguajes de primer orden no puden en ningún caso discriminar entre estructuras isomorfas. Por lo tanto, lo máximo a lo que puede aspirar un lenguaje de primer orden a la hora d...