Category:Model theory

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
Main Wikipedia article: Model theory.
See also Wikipedia article: en:Proof theory.

In mathematics, model theory is the study of (classes of) mathematical structures such as groups, fields, graphs or even models of set theory using tools from mathematical logic. Model theory has close ties to algebra and universal algebra.

<nowiki>မိုဒယ်သီအိုရီ; modellelmélet; Θεωρία μοντέλων; մոդելների տեսություն; teori model; моделдәр теорияһы; Modelltheorie; Загварын онол; тэорыя мадэлей; نظریه مدل; Теория на моделите; modelteori; Modeller kuramı; نمونے کا نظریہ; Theoria de modellos; теория моделей; modellteori; 模型論; תורת המודלים; teoria de models; 模型論; 模型论; Malliteoria; 모형 이론; modeltheorie; Teorìa dij modej; teorie modelů; 模型論; teoria dei modelli; মডেল তত্ত্ব; théorie des modèles; Teorija modela; تيوري موديل; teoria modeli; teori model; teoria modelelor; 模型论; теорія моделей; teoria dos modelos; Lý thuyết mô hình; теорија на моделите; modeļu teorija; Modelteorie; теорија модела; teorija modelov; نمونے دا نظریہ; teoria dos modelos; 模型论; Modelltheorie; modellteori; modellteori; məntiqi modelləşdirmə; тэорыя мадэляў; teoría de modelos; ماډل تيوري; modelo-teorio; model theory; نظرية النموذج; 模型论; モデル理論; rama de la lógica matemática que estudia las estructuras matemáticas; 数学の分野の一つ; branche de la logique mathématique; သင်္ချာတည်ဆောက်ပုံများကို ယုတ္တိဗေဒရှိ ပုံစံတကျ ဘာသာစကားသုံး၍ လေ့လာသည့် သင်္ချာဘာသာခွဲတစ်ရပ်; ämnesområde inom logik; dział logiki matematycznej; תחום במתמטיקה; studi tentang hubungan antara teori formal (kumpulan kalimat dalam bahasa formal mengungkapkan pernyataan tentang struktur matematika), dan modelnya, diambil sebagai interpretasi yang memenuhi kalimat teori tersebut; раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями; Deelgebitt vun der Mathematescher Logik; Teilgebiet der mathematischen Logik; estudo da representação matemática e inferência de sistemas lógicos mediante interpretação semântica e axiomática; study of classes of mathematical structures from the perspective of mathematical logic; studfako de matematika logiko; 從數理邏輯的角度對數學結構的一類研究; розділ математичної логіки, займається вивченням зв’язку між формальними мовами та їх інтерпретаціями; Model Teorisi; モデル論; teoria de modelos; лягічная мадэль; моделей теория; логическая модель; Teorìa dij modèj; 모델론; 모델 이론; 모형론; Teoria de modelos; тэорыя мадэляў; modelteorio; modeloteorio; نظريه النموذج; نظریهٔ مدل; تئوری مدل; مدل</nowiki>
model theory 
study of classes of mathematical structures from the perspective of mathematical logic
Upload media
Instance of
  • mathematical theory
Subclass of
Part of
Authority file
Wikidata Q467606
GND ID: 4114617-7
Library of Congress authority ID: sh85086421
Bibliothèque nationale de France ID: 119323610
NDL Authority ID: 00567757
BNCF Thesaurus ID: 40654
NL CR AUT ID: ph799924
J9U ID: 987007541020605171
Edit infobox data on Wikidata

Subcategories

This category has the following 2 subcategories, out of 2 total.

 

C

Media in category "Model theory"

The following 5 files are in this category, out of 5 total.