Théorie k-catégorique

Théorie k-catégorique

En logique mathématique, une théorie est dite k-catégorique pour un nombre cardinal k si elle a exactement un modèle de cardinalité k (à isomorphisme près).

Sommaire

Théorème de Łoś-Vaught

Énoncé

Théorème de Łoś (pl)-Vaught (en) — Toute théorie sans modèle fini qui est k-catégorique pour un certain cardinal k (infini) au moins égal à celui de son langage est complète.

Exemples de telles théories complètes

  • La théorie des ensembles infinis est k-catégorique pour tout cardinal k infini.

C'est une théorie du premier ordre en calcul des prédicats égalitaire pur qui comporte une infinité dénombrable d'axiomes, soit pour tout entier n≥1 l'axiome « il existe au moins n éléments distincts » :

\exists x_1, x_2, \ldots, x_n\qquad\wedge_{1\le i<j\le n}~\neg(x_i = x_j).
  • Les quatre théories des ensembles densément ordonnés pour lesquels on précise s'ils ont ou non un premier ou un dernier élément[1] sont rationnels
]0,1[\cap\Q,\qquad[0,1[\cap\Q,\qquad]0,1]\cap\Q,\qquad[0,1]\cap\Q.

Théorème de Morley

Théorème de Morley (de) — Si une théorie dans un langage au plus dénombrable est k-catégorique pour un certain cardinal k strictement supérieur au dénombrable, alors elle l'est pour tous.

Notes et références

  1. ↑ Voir aussi la démonstration que ces théories sont complètes par la méthode, autre, de l'élimination des quantificateurs, in Jean-Louis Krivine et Georg Kreisel, Éléments de logique mathématique, Théorie des modèles, Dunod 1967, p. 47-50, pdf.

Voir aussi

Bibliographie

(en) Dirk van Dalen (de), Logic and Structure, "chap. 3.3 Some model theory", Springer-Verlag, 1991.

Article connexe

Théorème de Löwenheim-Skolem


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorie k-catégorique de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • catégorique — [ kategɔrik ] adj. • 1534; n. 1495; bas lat. categoricus → catégorie 1 ♦ Philos. Relatif aux catégories. Proposition, jugement catégorique : assertion sans condition (opposé à hypothétique). Impératif catégorique. 2 ♦ Cour. Qui ne permet aucun… …   Encyclopédie Universelle

  • Theorie Queer — Théorie Queer La théorie Queer (anglais : Queer Theory) est une théorie sociologique et philosophique. Elle critique principalement la notion de genre, le féminisme essentialisme ou différentialiste, et l idée préconçue d un déterminisme… …   Wikipédia en Français

  • Théorie queer — La théorie Queer (anglais : Queer Theory) est une théorie sociologique et philosophique. Elle critique principalement la notion de genre, le féminisme essentialisme ou différentialiste, et l idée préconçue d un déterminisme génétique de la… …   Wikipédia en Français

  • Théorie Queer — Pour les articles homonymes, voir Queer (homonymie). La théorie Queer (anglais : Queer Theory) est une théorie sociologique. Elle critique principalement l idée que le genre sexuel et l orientation sexuelle seraient déterminée génétiquement… …   Wikipédia en Français

  • Théorie de l'utilité — Utilitarisme L utilitarisme est une doctrine éthique qui prescrit d agir (ou ne pas agir) de manière à maximiser le bien être du plus grand nombre des êtres sensibles. Elle est l idée que la valeur morale d une action est déterminée uniquement… …   Wikipédia en Français

  • Théorie de la démonstration — La théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du XXe siècle. Hilbert a proposé cette… …   Wikipédia en Français

  • Théorie du commandement divin — La théorie du commandement divin (ou encore du volontarisme théologique [1]) est une position méta éthique qui consiste à fonder la morale sur la volonté divine: ce qui est bien et mal, c est ce que Dieu veut. En d autres termes: ce qui est juste …   Wikipédia en Français

  • Théorie ufologique — Ufologie L’ufologie ou l’ovniologie[1] est une discipline qui consiste à recueillir, analyser et interpréter tout ce qui se rapporte au phénomène ovni (photographies, témoignages, traces au sol par exemple). L acronyme anglais ufo (unidentified… …   Wikipédia en Français

  • MODÈLES (THÉORIE DES) — «Modèle» est un terme qui appartient au vocabulaire de la plupart des sciences et qui a des significations multiples [cf. MODÈLE]. Ainsi, dans les sciences humaines, on entend généralement par modèle une théorie conçue pour expliquer un ensemble… …   Encyclopédie Universelle

  • Type (théorie des modèles) — Pour les articles homonymes, voir Type. En théorie des modèles, un type est un ensemble de formules à une même variable libre, consistant avec une théorie donnée, c est à dire tel qu il existe un modèle de la théorie en question dont un élément… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”