Spanish Aritmética de primer orden Cited by user Wiki LIC on 22 Apr 2024 En lógica de primer orden, una teoría de primer orden está dada por un conjunto de axiomas en algún idioma.
Spanish Principio de Paris-Harrington Cited by user Artistosteles on 07 Sep 2023 En lógica matemática, el principio de Paris-Harrington establece que un cierto principio combinatorio en la teoría de Ramsey, a saber, el teorema de Ramsey finito…
English Model complete theory Cited by user Marc Schroeder on 01 Sep 2023 In model theory, a first-order theory is called model complete if every embedding of its models is an elementary embedding.
English Stable theory Cited by user JoelleJay on 10 Jan 2023 In the mathematical field of model theory, a theory is called stable if it satisfies certain combinatorial restrictions on its complexity.