This HTML5 document contains 312 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbpedia-el	http://el.dbpedia.org/resource/
dbt	http://dbpedia.org/resource/Template:
n31	http://projecteuclid.org/euclid.pl/
n52	http://bn.dbpedia.org/resource/
dbpedia-sv	http://sv.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
n43	http://ia.dbpedia.org/resource/
dbpedia-bg	http://bg.dbpedia.org/resource/
dbpedia-fi	http://fi.dbpedia.org/resource/
dbr	http://dbpedia.org/resource/
n39	http://plato.stanford.edu/entries/model-theory/
dbpedia-hr	http://hr.dbpedia.org/resource/
dbpedia-ar	http://ar.dbpedia.org/resource/
n30	http://my.dbpedia.org/resource/
dbpedia-he	http://he.dbpedia.org/resource/
n37	http://www.math.ens.fr/~zchatzid/papiers/
dbpedia-fr	http://fr.dbpedia.org/resource/
dbpedia-pms	http://pms.dbpedia.org/resource/
dcterms	http://purl.org/dc/terms/
dbpedia-cs	http://cs.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
dbpedia-az	http://az.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n10	http://d-nb.info/gnd/
dbp	http://dbpedia.org/property/
dbpedia-eo	http://eo.dbpedia.org/resource/
n29	http://ur.dbpedia.org/resource/
xsdh	http://www.w3.org/2001/XMLSchema#
dbpedia-uk	http://uk.dbpedia.org/resource/
dbpedia-id	http://id.dbpedia.org/resource/
dbpedia-pnb	http://pnb.dbpedia.org/resource/
dbo	http://dbpedia.org/ontology/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-hu	http://hu.dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/
dbc	http://dbpedia.org/resource/Category:
dbpedia-pl	http://pl.dbpedia.org/resource/
dbpedia-de	http://de.dbpedia.org/resource/
yago	http://dbpedia.org/class/yago/
dbpedia-ru	http://ru.dbpedia.org/resource/
wikidata	http://www.wikidata.org/entity/
dbpedia-af	http://af.dbpedia.org/resource/
gold	http://purl.org/linguistics/gold/
dbpedia-nl	http://nl.dbpedia.org/resource/
yago-res	http://yago-knowledge.org/resource/
n25	https://global.dbpedia.org/id/
n46	http://sw.cyc.com/concept/
dbpedia-it	http://it.dbpedia.org/resource/
dbpedia-ca	http://ca.dbpedia.org/resource/
prov	http://www.w3.org/ns/prov#
foaf	http://xmlns.com/foaf/0.1/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbpedia-ko	http://ko.dbpedia.org/resource/
dbpedia-tr	http://tr.dbpedia.org/resource/
dbpedia-fa	http://fa.dbpedia.org/resource/
n11	https://archive.org/details/
n32	http://plato.stanford.edu/entries/modeltheory-fo/
dbpedia-es	http://es.dbpedia.org/resource/
freebase	http://rdf.freebase.com/ns/
n21	https://web.archive.org/web/20110522083749/http:/www.cs.man.ac.uk/~hsimmons/BOOKS/
n47	https://www3.nd.edu/~apillay/pdf/
owl	http://www.w3.org/2002/07/owl#

Statements

Subject Item

dbr:Model_theory

rdf:type

owl:Thing yago:Location100027167 yago:Tract108673395 dbo:Book yago:Object100002684 yago:Region108630985 yago:GeographicalArea108574314 yago:PhysicalEntity100001930 yago:YagoPermanentlyLocatedEntity yago:YagoLegalActorGeo yago:YagoGeoEntity yago:Field108569998 yago:WikicatFieldsOfMathematics

rdfs:label

Θεωρία μοντέλων Théorie des modèles Teoria de models Modellteori Modeloteorio Теория моделей Teoría de modelos Model theory Теорія моделей 模型论 Teoria dos modelos 모형 이론 Modeltheorie モデル理論 Teori model نظرية النموذج Teorie modelů Modelltheorie Teoria modeli Teoria dei modelli

rdfs:comment

Теория моделей — раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Альфредом Тарским в 1954 году. Основное развитие теория моделей получила в работах Тарского, Мальцева и Робинсона. Тео́рія моде́лей — розділ математичної логіки, який займається вивченням зв'язку між формальними мовами та їх інтерпретаціями, або моделями. Назву теорія моделей вперше запропонував Альфред Тарський у 1954 році. Основний розвиток теорія моделей отримала в працях Тарського, Мальцева та . La teoria dei modelli è una branca della matematica, e più precisamente della logica, che affronta lo studio generalizzato del concetto di modello, in riferimento alle relazioni tra varie strutture ed in particolare alla soddisfacibilità di date teorie. Teorie modelů je matematická disciplína, která je jedním z podoborů matematické logiky. Zabývá se studiem reprezentace matematických konceptů pomocí pojmů teorie množin a studiem struktur a modelů, jejich vlastností a vzájemných vztahů a také jejich vztahem k pojmům axiomatické teorie a dokazatelnosti. En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática. La teoría de modelos permite atribuir una interpretación semántica a las expresiones puramente formales de los lenguajes formales. Además permite estudiar en sí mismos los conjuntos de axiomas, su completitud, consistencia, independencia mutua, y permiten introducir un importante número de cuestiones metalógicas. في الرياضيات، نظرية النموذج هي دراسة تمثيلات المصطلحات الرياضية في إطار نظرية المجموعات، أو دراسة النماذج المضمرة تحت . تفترض النظرية أن هناك أغراضا رياضية مسبقة الوجود في الخارج محاولة أن تطرح أسئلة حول كيفية وماهية المبرهنات التي يمكن برهنتها بوجود هذه الأغراض أو الكائنات الرياضية وبعض العمليات أو العلاقات بين الأغراض مع مجموعة من المسلمات axioms. Teoria modeli (nazywana też semantyką logiczną) – dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi. Dziedzina ta jest w znacznym stopniu powiązana z algebrą i teorią mnogości, ale ma też mocno rozbudowany własny aparat pojęciowy i w swojej współczesnej postaci jest w pełni samodzielną dziedziną wiedzy. In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the statements of the theory hold). The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be defined in a model of a theory, and the relationship of such definable sets to each other.As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954.Since the 1970s, the subject has been shaped deci 수리 논리학에서 모형 이론(模型理論, 영어: model theory)은 추상대수학이나 집합론 등의 모형을 이루는 구조를 연구하는 분야이다. 모델 이론, 모형론, 모델론이라고도 한다. Στα μαθηματικά, η θεωρία μοντέλων (αγγλ. model theory) μελετά (κλάσεις από) μαθηματικές όπως οι ομάδες, τα , οι γράφοι, ακόμα και τα universes της θεωρίας συνόλων, χρησιμοποιώντας εργαλεία της μαθηματικής λογικής. Μια δομή που αποδίδει σημασία στις προτάσεις μιας τυπικής γλώσσας ονομάζεται για αυτήν τη γλώσσα. Αν ένα μοντέλο μιας γλώσσας ικανοποιεί μια συγκεκριμένη πρόταση ή θεωρία (σύνολο από προτάσεις), τότε λέγεται μοντέλο της πρότασης ή θεωρίας. Η θεωρία μοντέλων έχει στενή σχέση με την άλγεβρα και την . La théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité). モデル理論（もでるりろん、英 : Model theory）は、数理論理学による手法を用いて数学的構造（例えば、群、体、グラフ、集合論の宇宙）を研究（分類）する数学の分野である。 モデル理論における研究対象は、形式言語の文に意味を与えるとしてのモデルである。もし言語のモデルがある特定のまたは（特定の条件を満足する文の集合）を満足するならば、それはその文または理論のモデルと呼ばれる。 モデル理論は代数および普遍代数と関係が深い。 この記事では、無限構造の有限一階モデル理論に焦点を絞っている。有限構造を対象とする有限モデル理論は、扱っている問題および用いている技術の両方の面で、無限構造の研究とは大きく異なるものとなっている。完全性は高階述語論理または無限論理において一般的には成立しないため、これらの論理に対するモデル理論は困難なものとなっている。しかしながら、研究の多くの部分はそのような言語によってなされている。 Die Modelltheorie ist ein Teilgebiet der mathematischen Logik. Inhalt der Modelltheorie sind die Beziehungen zwischen den rein formalen Ausdrücken einer Sprache (syntaktische Ebene) und deren Bedeutung (semantische Ebene). Diese Beziehung wird über sogenannte Interpretationen und eine als Erfüllungsrelation bezeichnete mathematische Relation hergestellt. Dalam matematika, teori model adalah studi tentang hubungan antara (kumpulan dalam bahasa formal mengungkapkan pernyataan tentang struktur matematika), dan modelnya, diambil sebagai yang memenuhi kalimat teori tersebut. La teoria de models és la branca de la matemàtica que estudia les estructures matemàtiques, com ara els grups, els cossos, els grafs o àdhuc els models de la teoria de conjunts, amb les eines de la lògica matemàtica. Està estretament relacionada amb l'àlgebra i l'àlgebra universal. Els seus objectes d'estudi són models de teories en un llenguatge formal. Hom diu que un conjunt d'enunciats en un llenguatge formal és una teoria; un model d'una teoria és una estructura (p. ex., una interpretació) que satisfà els enunciats d'aquesta teoria. àlgebra universal + lògica = teoria de models. Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam . É assumido que existem alguns objetos matemáticos pré-existentes e investiga-se o que pode ser concluído de tal coleção de objetos, algumas operações e/ou relações entre estes objetos e alguns axiomas. Um modelo é definido formalmente no contexto de alguma linguagem L (ou alguma assinatura). Um modelo é formado por duas partes: Teorema da equivalência elementar (Teoremas de Lowenheim-Skolem) e teste de Vaught. 模型论(英語：Model theory)一般是指数学中集合论的论述角度对数学概念表现（representation）的研究，或者说是对于作为基础的“模型”的研究。粗略地说，该学科假定有一些既存的数学“对象”，然后研究：当这些对象之间的一些运算或者一些关系乃至一组公理被给定时，可以相应证明出什么，以及如何证明。 比如实数理论中一个模型论概念的例子是：我们从一个任意集合开始，作为集合元素的每个个体都是一个实数，其间有一些关系和（或）函数，例如{ ×, +, −, ., 0, 1 }。若我们在该语言中问"∃ y (y × y = 1 + 1)"这样一个问题，显然该陈述对实数而言成立 - 确实存在这样的一个实数y,即所谓2的平方根；对于有理数，该陈述却并不成立。一个类似的命题，"∃ y (y × y = 0 − 1)",在实数中不成立，却在复数中成立，因为i × i = 0 − 1。 模型论研究什么是在给定的数学系统中可证的，以及这些系统相互间的关系。它特别注重研究当我们试图通过加入新公理和新语言构造时会发生什么。 现在模型论（及其方法）已经广泛地应用于其它数学分支甚至理论计算机与工程计算中。例如用模型论方法证明了代数几何中的。 Modellteori är ett stort ämnesområde med många delområden som alla på ett eller annat sätt handlar om studiet av modeller (strukturer) såsom dessa definieras inom logik. Modellteorin är en gren av den matematiska logiken och har därför kopplingar både till andra delar av matematiken och till delar av filosofin. Modellteori är också sporadiskt användbart i datalogi och lingvistik. En matematiko, teorio de modeloj aŭ model-teorio aŭ modelo-teorio estas la studo de la prezento de matematikaj konceptoj per terminoj de aroteorio, aŭ la studo de la modeloj, kiuj subkuŝas matematikajn sistemojn. Ĝia premiso estas, ke estas iuj antaŭ-ekzistantaj matematikaj objektoj malsubjektive, kaj ĝi instigas demandojn pri tio, kiel aŭ kio povas esti pruvita - se estas donitaj la objektoj, iuj operacioj aŭ rilatoj inter la objektoj, kaj aro de aksiomoj. Modeltheorie is een deelgebied van de wiskundige logica en de wiskunde dat handelt over de relaties tussen puur formele uitdrukkingen en hun betekenis. Het gaat in de modeltheorie om de bestudering van de relaties tussen de eigenschappen van een formele theorie en de eigenschappen van een ander wiskundig systeem. Modeltheorie bestudeert kortgezegd wiskundige modellen. Het baanbrekend werk op dit gebied is in de jaren 1920 en 1930 verricht door Kurt Gödel, Thoralf Skolem en Alfred Tarski.

dcterms:subject

dbc:Mathematical_logic dbc:Model_theory

dbo:wikiPageID

19858

dbo:wikiPageRevisionID

1121798244

dbo:wikiPageWikiLink

dbr:Structure_(mathematical_logic) dbr:Limit_ordinal dbr:Czesław_Ryll-Nardzewski dbr:Zermelo-Fraenkel_set_theory dbr:Deductive_system dbr:Irreducible_element dbr:T-schema dbc:Mathematical_logic dbr:Logic dbr:Lwów–Warsaw_school dbr:Formal_system dbr:Solomon_Feferman dbr:Generalised_continuum_hypothesis dbr:Embedding dbr:Jonathan_Pila dbr:Substructure_(mathematics) dbr:Nonstandard_analysis dbr:University_of_California,_Berkeley dbr:Automorphism dbr:Leopold_Löwenheim dbr:Interpretation_(model_theory) dbr:James_Ax dbr:Model_completion dbr:Compactness_theorem dbr:Model_companion dbr:Thoralf_Skolem dbr:Cardinal_exponentiation dbr:Oligomorphic_group dbr:Ultraproducts dbr:Set_theory dbr:Association_for_Symbolic_Logic dbr:Consistency dbr:Interwar_period dbr:Gödel's_incompleteness_theorems dbr:Model-complete dbr:Definable_sets dbr:New_York_City dbr:Algebraic_geometry dbr:U-rank dbr:Constructible_topology dbr:Injective dbr:Polynomial_ring dbr:Axiomatizable_class dbr:Diophantine_geometry dbr:Dense_linear_order dbr:Skolem's_paradox dbr:Kripke_semantics dbr:Algebraic_varieties dbr:Strongly_minimal_theory dbr:Archimedean_field dbr:Mathematical_logic dbr:Zero-one_law_(model_theory) dbr:Direct_product dbr:Elementary_extension dbr:Saturated_model dbr:Anatoly_Maltsev dbr:Zariski_topology dbr:Database_theory dbr:Online_machine_learning dbr:Real_closed_field dbr:Mordell-Lang_conjecture dbr:Prime_ideal dbr:Lindstrom's_theorem dbr:Descriptive_complexity dbr:Michael_D._Morley dbr:Theory_(mathematical_logic) dbr:André-Oort_conjecture dbr:Löwenheim–Skolem_theorem dbr:Formal_language_theory dbr:Independence_(mathematical_logic) dbr:Jon_Barwise dbr:Abraham_Robinson dbr:Computable_model_theory dbr:Table_of_logic_symbols dbr:Alfred_Tarski dbr:Transfinite_induction dbr:Field_(mathematics) dbr:Successor_ordinal dbr:Cardinal_number dbr:NIP_(model_theory) dbr:Non-logical_symbols dbr:Taylor_and_Francis dbr:Atomic_formula dbr:Infinitary_logic dbr:Lindström's_theorem dbr:Paul_Cohen_(mathematician) dbr:Ehud_Hrushovski dbr:Descriptive_complexity_theory dbr:Abstract_model_theory dbr:Model-theoretic_grammar dbr:Axiom_of_choice dbr:Rational_numbers dbr:Graduate_Texts_in_Mathematics dbr:Abstract_elementary_classes dbr:Pseudofinite_field dbr:Forcing_(mathematics) dbr:Institutional_model_theory dbr:Higher-order_logic dbr:Omega-categorical_theory dbr:Algebraically_closed_field dbr:Arity dbr:Algebraic_theory dbr:Cardinality dbr:Ultraproduct dbr:Complex_exponential_function dbr:Morley's_categoricity_theorem dbr:Definable_set dbr:O-minimality dbr:Probably_approximately_correct_learning dbr:Simple_theory dbr:Finitary dbr:Ultrafilter_(set_theory) dbr:Stable_theory dbr:Logical_consequence dbr:Cambridge_University_Press dbr:Morley_rank dbr:Morley's_problem dbr:Springer_Science+Business_Media dbr:First-order_logic dbr:Boolean_algebra_(structure) dbr:Signature_(logic) dbr:Infinitesimals dbr:Erwin_Engeler dbr:Simon_B._Kochen dbr:Allyn_and_Bacon dbr:Continuum_(set_theory) dbr:Base_(topology) dbr:Lars_Svenonius dbr:Finite_model_theory dbr:Tarski–Vaught_test dbr:Wilfrid_Hodges dbr:Quantifier_elimination dbr:Zermelo-Fraenkel_axioms dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Dover_Publications dbr:Kurt_Gödel dbr:Saharon_Shelah dbr:Countable dbr:Oxford_University_Press dbr:Fraïssé_limit dbr:Skolem_normal_form dbr:Hyperreal_number dbr:H._Jerome_Keisler dbr:A_K_Peters,_Ltd. dbr:Topological_space dbr:Semantic_theory_of_truth dbr:Elementary_equivalence dbr:Universal_algebra dbr:Ax-Kochen_theorem dbr:Spectrum_of_a_theory dbr:Sentence_(mathematical_logic) dbr:Open_set dbr:Stability_spectrum dbr:Semialgebraic_sets dbr:Proof_theory dbr:Gödel's_completeness_theorem dbr:Completeness_theorem dbr:Characteristic_(algebra) dbc:Model_theory dbr:List_of_first-order_theories dbr:Continuum_hypothesis dbr:Quasiminimal_excellence dbr:Formal_language dbr:Löwenheim-Skolem_theorem dbr:O-minimal

dbo:wikiPageExternalLink

n11:mathematicallogi1996ebbi n21:ModelTheory.pdf n11:courseinmodelthe0000poiz n11:modeltheory0000hodg n31:1235417263 n32: n37:MTluminy.pdf n39: n47:lecturenotes_modeltheory.pdf

owl:sameAs

n10:4114617-7 dbpedia-id:Teori_model dbpedia-ca:Teoria_de_models dbpedia-pnb:نمونے_دا_نظریہ dbpedia-sv:Modellteori dbpedia-fi:Malliteoria dbpedia-nl:Modeltheorie dbpedia-ru:Теория_моделей dbpedia-uk:Теорія_моделей yago-res:Model_theory n25:4L8t4 dbpedia-pms:Teorìa_dij_modej dbpedia-af:Modelteorie n29:نمونے_کا_نظریہ n30:မိုဒယ်သီအိုရီ dbpedia-ja:モデル理論 dbpedia-es:Teoría_de_modelos dbpedia-it:Teoria_dei_modelli dbpedia-tr:Model_teorisi dbpedia-ko:모형_이론 dbpedia-el:Θεωρία_μοντέλων dbpedia-he:תורת_המודלים dbpedia-eo:Modeloteorio n43:Theoria_de_modellos dbpedia-fr:Théorie_des_modèles dbpedia-zh:模型论 n46:Mx4rvYrSAJwpEbGdrcN5Y29ycA dbpedia-bg:Теория_на_моделите dbpedia-hr:Teorija_modela dbpedia-az:Məntiqi_modelləşdirmə dbpedia-ar:نظرية_النموذج n52:মডেল_তত্ত্ব dbpedia-cs:Teorie_modelů dbpedia-de:Modelltheorie dbpedia-fa:نظریه_مدل wikidata:Q467606 dbpedia-pl:Teoria_modeli dbpedia-pt:Teoria_dos_modelos dbpedia-hu:Modellelmélet freebase:m.04_lr

dbp:wikiPageUsesTemplate

dbt:About dbt:Colend dbt:Authority_control dbt:Areas_of_mathematics dbt:Anchor dbt:Cite_book dbt:Cols dbt:Clarification_needed dbt:Springer dbt:Mathematical_logic dbt:Main dbt:Short_description dbt:Reflist

dbp:date

November 2022

dbp:id

p/m064390

dbp:reason

Or "be a model of"? It would be helpful to be explicit to the extent that the distinction between "structures" and "models" is often a point of confusion for beginners.

dbp:title

Model theory

dbo:abstract

In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the statements of the theory hold). The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be defined in a model of a theory, and the relationship of such definable sets to each other.As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954.Since the 1970s, the subject has been shaped decisively by Saharon Shelah's stability theory. Compared to other areas of mathematical logic such as proof theory, model theory is often less concerned with formal rigour and closer in spirit to classical mathematics.This has prompted the comment that "if proof theory is about the sacred, then model theory is about the profane".The applications of model theory to algebraic and diophantine geometry reflect this proximity to classical mathematics, as they often involve an integration of algebraic and model-theoretic results and techniques. The most prominent scholarly organization in the field of model theory is the Association for Symbolic Logic. Теория моделей — раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Альфредом Тарским в 1954 году. Основное развитие теория моделей получила в работах Тарского, Мальцева и Робинсона. La teoria de models és la branca de la matemàtica que estudia les estructures matemàtiques, com ara els grups, els cossos, els grafs o àdhuc els models de la teoria de conjunts, amb les eines de la lògica matemàtica. Està estretament relacionada amb l'àlgebra i l'àlgebra universal. Els seus objectes d'estudi són models de teories en un llenguatge formal. Hom diu que un conjunt d'enunciats en un llenguatge formal és una teoria; un model d'una teoria és una estructura (p. ex., una interpretació) que satisfà els enunciats d'aquesta teoria. La teoria de models està íntimament lligada amb una dualitat: examina els elements semàntics (significat i veritat) mitjançant els elements sintàctics (fórmules i demostracions) del llenguatge. Citant la primera pàgina de : àlgebra universal + lògica = teoria de models. La teoria de models es va desenvolupar ràpidament durant la dècada de 1990, i en va donar una definició més moderna (1997): teoria de models = geometria algebraica − cossos, encara que els estudiosos de la teoria de models també estan interessats en l'estudi d'altres àrees, entre les quals es troben la combinatòria, la teoria de nombres, la dinàmica de l'aritmètica, les funcions analítiques i l'. De la mateixa manera que la teoria de la demostració, la teoria de models està situada a cavall entre les matemàtiques, la filosofia i les ciències de la computació. En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática. La teoría de modelos permite atribuir una interpretación semántica a las expresiones puramente formales de los lenguajes formales. Además permite estudiar en sí mismos los conjuntos de axiomas, su completitud, consistencia, independencia mutua, y permiten introducir un importante número de cuestiones metalógicas. Al mismo tiempo los lenguajes en los que se ha estructurado la noción de verdad y de los que habla la teoría de modelos son, por lo general, sistemas matemáticos. Las «cosas» representadas en dichos lenguajes son también sistemas matemáticos. Por esto, la teoría de modelos es una teoría semántica que pone en relación unos sistemas matemáticos con otros sistemas matemáticos. Dicha teoría nos proporciona algunas pistas con respecto a aquella semántica que pone en relación los lenguajes naturales con la realidad. Sin embargo, ha de tenerse siempre presente que no hay ningún sustituto matemático para los problemas genuinamente filosóficos. Y el problema de la verdad es un problema netamente filosófico. Padilla Gálvez, Jesús Padilla Gálvez (2007). Verdad y demostración. Plaza y Valdés. p. 229. ISBN 9788496780194. OCLC 427520428. Consultado el 28 de febrero de 2019. モデル理論（もでるりろん、英 : Model theory）は、数理論理学による手法を用いて数学的構造（例えば、群、体、グラフ、集合論の宇宙）を研究（分類）する数学の分野である。 モデル理論における研究対象は、形式言語の文に意味を与えるとしてのモデルである。もし言語のモデルがある特定のまたは（特定の条件を満足する文の集合）を満足するならば、それはその文または理論のモデルと呼ばれる。 モデル理論は代数および普遍代数と関係が深い。 この記事では、無限構造の有限一階モデル理論に焦点を絞っている。有限構造を対象とする有限モデル理論は、扱っている問題および用いている技術の両方の面で、無限構造の研究とは大きく異なるものとなっている。完全性は高階述語論理または無限論理において一般的には成立しないため、これらの論理に対するモデル理論は困難なものとなっている。しかしながら、研究の多くの部分はそのような言語によってなされている。 Тео́рія моде́лей — розділ математичної логіки, який займається вивченням зв'язку між формальними мовами та їх інтерпретаціями, або моделями. Назву теорія моделей вперше запропонував Альфред Тарський у 1954 році. Основний розвиток теорія моделей отримала в працях Тарського, Мальцева та . Die Modelltheorie ist ein Teilgebiet der mathematischen Logik. Inhalt der Modelltheorie sind die Beziehungen zwischen den rein formalen Ausdrücken einer Sprache (syntaktische Ebene) und deren Bedeutung (semantische Ebene). Diese Beziehung wird über sogenannte Interpretationen und eine als Erfüllungsrelation bezeichnete mathematische Relation hergestellt. Ganz allgemein gesprochen beschäftigt sich die Modelltheorie mit der Konstruktion und der Klassifikation von allen (möglichen) Strukturen und Klassen von Strukturen, im Besonderen mit solchen Strukturen, die axiomatisierbaren Sprachen oder Theorien entsprechen. Dabei geht es u. a. um die Aufgabe, Modelle für ein vorgegebenes Axiomensystem zu konstruieren -- oft geht es um Modelle mit zusätzlichen Eigenschaften, die im Axiomensystem aber nicht spezifiziert werden können, z. B. die Kardinalität des Modells. Weiterhin beschäftigt sich die Modelltheorie mit der Äquivalenz von Modellen, etwa der Frage, ob in ihnen die gleichen Aussagen gelten, und der Frage, wie viele (nichtisomorphe) Modelle eines Axiomensystems es gibt. Modeltheorie is een deelgebied van de wiskundige logica en de wiskunde dat handelt over de relaties tussen puur formele uitdrukkingen en hun betekenis. Het gaat in de modeltheorie om de bestudering van de relaties tussen de eigenschappen van een formele theorie en de eigenschappen van een ander wiskundig systeem. Modeltheorie bestudeert kortgezegd wiskundige modellen. Het baanbrekend werk op dit gebied is in de jaren 1920 en 1930 verricht door Kurt Gödel, Thoralf Skolem en Alfred Tarski. De hedendaagse wiskunde en wiskundige natuurkunde maken intensief gebruik van de abstracte algebra, de theoretische natuurkunde maakt bijvoorbeeld gebruik van Lie-algebra's. Vakgebieden zoals de algebraïsche getaltheorie, algebraïsche topologie en de algebraïsche meetkunde passen algebraïsche methoden toe op andere gebieden van de wiskunde. Representatietheorie haalt ruwweg gesproken het 'abstracte' uit de 'abstracte algebra' en bestudeert de concrete kant van een gegeven algebraïsche structuur. Dit is verwant aan modeltheorie. Modellteori är ett stort ämnesområde med många delområden som alla på ett eller annat sätt handlar om studiet av modeller (strukturer) såsom dessa definieras inom logik. Modellteorin är en gren av den matematiska logiken och har därför kopplingar både till andra delar av matematiken och till delar av filosofin. Modellteori är också sporadiskt användbart i datalogi och lingvistik. En modell är en mängd tillsammans med ett antal relationer och funktioner på denna mängd. Till en modell kan associeras ett första ordningens språk, vars formler får en tolkning i modellen och därigenom ett sanningsvärde. Exempel på modeller är flera av de algebraiska strukturer som studerar i matematiken, till exempel ringar, kroppar och grupper. Ett påstående P i ett formellt språk sägs vara sant i en modell A om tolkningen av symbolerna i P är sådana att den tolkade satsen är sann i A. Samma påstående P kan samtidigt vara falskt i en annan modell B på grund av att den tolkar symbolerna annorlunda. Mängden av alla satser som är sanna i en modell A kallas för teorin för A. La teoria dei modelli è una branca della matematica, e più precisamente della logica, che affronta lo studio generalizzato del concetto di modello, in riferimento alle relazioni tra varie strutture ed in particolare alla soddisfacibilità di date teorie. في الرياضيات، نظرية النموذج هي دراسة تمثيلات المصطلحات الرياضية في إطار نظرية المجموعات، أو دراسة النماذج المضمرة تحت . تفترض النظرية أن هناك أغراضا رياضية مسبقة الوجود في الخارج محاولة أن تطرح أسئلة حول كيفية وماهية المبرهنات التي يمكن برهنتها بوجود هذه الأغراض أو الكائنات الرياضية وبعض العمليات أو العلاقات بين الأغراض مع مجموعة من المسلمات axioms. 模型论(英語：Model theory)一般是指数学中集合论的论述角度对数学概念表现（representation）的研究，或者说是对于作为基础的“模型”的研究。粗略地说，该学科假定有一些既存的数学“对象”，然后研究：当这些对象之间的一些运算或者一些关系乃至一组公理被给定时，可以相应证明出什么，以及如何证明。 比如实数理论中一个模型论概念的例子是：我们从一个任意集合开始，作为集合元素的每个个体都是一个实数，其间有一些关系和（或）函数，例如{ ×, +, −, ., 0, 1 }。若我们在该语言中问"∃ y (y × y = 1 + 1)"这样一个问题，显然该陈述对实数而言成立 - 确实存在这样的一个实数y,即所谓2的平方根；对于有理数，该陈述却并不成立。一个类似的命题，"∃ y (y × y = 0 − 1)",在实数中不成立，却在复数中成立，因为i × i = 0 − 1。 模型论研究什么是在给定的数学系统中可证的，以及这些系统相互间的关系。它特别注重研究当我们试图通过加入新公理和新语言构造时会发生什么。 现在模型论（及其方法）已经广泛地应用于其它数学分支甚至理论计算机与工程计算中。例如用模型论方法证明了代数几何中的。 Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam . É assumido que existem alguns objetos matemáticos pré-existentes e investiga-se o que pode ser concluído de tal coleção de objetos, algumas operações e/ou relações entre estes objetos e alguns axiomas. A independência do axioma da escolha e da hipótese do contínuo dos outros axiomas de teoria dos conjuntos (provada por Paul Cohen e Kurt Gödel) são os dois resultados mais famosos fornecidos pela teoria de modelos. Foi provado que tanto o axioma da escolha quanto sua negação são consistentes com os axiomas de Zermelo-Fraenkel da teoria dos conjuntos; resultado similar vale para a hipótese do contínuo. No caso dos números reais, pode-se começar com um conjunto de elementos, onde cada indivíduo é um número, e um conjunto de relações, tal como {×,+,-,.,0,1}. Se nós perguntarmos algo como "∃ x (x × x = 1 + 1)" nesta linguagem, então é fácil ver que a resposta é positiva nos reais, mas é negativa nos racionais. Entretanto, este modelo não é grande o suficiente para que "∃ x (x × x = 0 - 1)" seja verdadeira nele; para isto adicionamos o símbolo "i" definido como a constante que deve ser adicionada à linguagem para satisfazer "∃ x (x × x = 0 - 1)". Teoria de Modelos então está preocupada com o que pode ser provado em determinados sistemas matemáticos, e como estes sistemas se relacionam uns com os outros. Em particular, se quer saber o que acontece quando tentamos estender algum sistema pela adição de novos axiomas ou novas construções de linguagem. Restringindo a cardinalidade dos modelos e observando que fatos sendo verdadeiros para permitir que o teorema da compacidade seja usado, mostrando que algum teorema é verdadeiro numa cardinalidade maior. Um modelo é definido formalmente no contexto de alguma linguagem L (ou alguma assinatura). Um modelo é formado por duas partes: 1. * Um universo U, que é um conjunto que contém os objetos de interesse, e 2. * Uma interpretação que define o significado semântico de todos os símbolos de constantes, relações e funções da linguagem. Uma teoria é definida como um conjunto de sentenças que são consistentes; em geral é também exigido que o conjunto seja fechado para consequencia lógica. Nesta definição, uma teoria é um conjunto consistente maximal de sentenças. Completude em Teoria de Modelos é definida como a propriedade de que toda sentença numa linguagem pode ser provada ou refutada (ou seja, dado uma sentença, é sempre possível provrar que ela é verdadeira ou falsa). Teorias completas são interessantes pois descrevem completamente algum modelo. O Teorema da Compacidade afirma que um conjunto de sentenças S é satisfatível, i.e. tem um modelo, se todo subconjunto finito de S é satisfatível. No contexto de teoria da prova a recíproca é trivial, já que toda prova pode ter apenas um número finito de antecedentes usados na prova; entretanto, no contexto de Teoria de Modelos, esta prova é mais difícil. Existem duas provas bastante conhecidas, uma de Gödel e outra de . Teorema da equivalência elementar (Teoremas de Lowenheim-Skolem) e teste de Vaught. Extensões, Incorporações e Diagramas. Teoremas de Lowenheim-Skolem para cima e para baixo. Para dar um sabor, mencionar os hiperreais seria bom. (Tudo isso precisa de preenchimento substancial) Observação: O termo 'modelo matemático' é também usado de maneira mais informal em outras áreas da matemática e de outras ciências, como a Física, a Hidráulica, a Hidrologia para designar equações ou sistemas de equações ou métodos para cálculos de variáveis. Teorie modelů je matematická disciplína, která je jedním z podoborů matematické logiky. Zabývá se studiem reprezentace matematických konceptů pomocí pojmů teorie množin a studiem struktur a modelů, jejich vlastností a vzájemných vztahů a také jejich vztahem k pojmům axiomatické teorie a dokazatelnosti. Teoria modeli (nazywana też semantyką logiczną) – dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi. Dziedzina ta jest w znacznym stopniu powiązana z algebrą i teorią mnogości, ale ma też mocno rozbudowany własny aparat pojęciowy i w swojej współczesnej postaci jest w pełni samodzielną dziedziną wiedzy. Στα μαθηματικά, η θεωρία μοντέλων (αγγλ. model theory) μελετά (κλάσεις από) μαθηματικές όπως οι ομάδες, τα , οι γράφοι, ακόμα και τα universes της θεωρίας συνόλων, χρησιμοποιώντας εργαλεία της μαθηματικής λογικής. Μια δομή που αποδίδει σημασία στις προτάσεις μιας τυπικής γλώσσας ονομάζεται για αυτήν τη γλώσσα. Αν ένα μοντέλο μιας γλώσσας ικανοποιεί μια συγκεκριμένη πρόταση ή θεωρία (σύνολο από προτάσεις), τότε λέγεται μοντέλο της πρότασης ή θεωρίας. Η θεωρία μοντέλων έχει στενή σχέση με την άλγεβρα και την . Το παρακάτω άρθρο ασχολείται με την περιορισμένη (finitary) πρωτοβάθμια θεωρία μοντέλων των άπειρων δομών. Η , που επικεντρώνεται στις πεπερασμένες δομές, αποκλίνει σημαντικά από τη μελέτη των άπειρων δομών, τόσο όσον αφορά τα προβλήματα που μελετώνται, όσο και στις τεχνικές που χρησιμοποιούνται. Η θεωρία μοντέλων λογικών ανώτερου βαθμού ή απεριόριστων λογικών (infinitary logics) εμποδίζεται από το γεγονός ότι η δεν ισχύει σε αυτές τις λογικές. Παρά τα παραπάνω, έχει γίνει σημαντική μελέτη πάνω σε τέτοιες γλώσσες. 수리 논리학에서 모형 이론(模型理論, 영어: model theory)은 추상대수학이나 집합론 등의 모형을 이루는 구조를 연구하는 분야이다. 모델 이론, 모형론, 모델론이라고도 한다. La théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité). En matematiko, teorio de modeloj aŭ model-teorio aŭ modelo-teorio estas la studo de la prezento de matematikaj konceptoj per terminoj de aroteorio, aŭ la studo de la modeloj, kiuj subkuŝas matematikajn sistemojn. Ĝia premiso estas, ke estas iuj antaŭ-ekzistantaj matematikaj objektoj malsubjektive, kaj ĝi instigas demandojn pri tio, kiel aŭ kio povas esti pruvita - se estas donitaj la objektoj, iuj operacioj aŭ rilatoj inter la objektoj, kaj aro de aksiomoj. La sendependeco de la aksiomo de elekto kaj la kontinuaĵa hipotezo de la aliaj aksiomoj de aroteorio (kiujn pruvis kaj Kurt Gödel) estas la du plej famaj rezultoj, kiuj rezultas el la model-teorio. Estas pruvite, ke la aksiomo de elekto - same kiel ĝia nego anstataŭe - estas logike ebla kune kun la aksiomoj de ; la sama rezulto validas por la kontinuaĵa hipotezo. Ĉi tiuj rezultoj estas aplikoj de modelo-teoriaj metodoj al aksioma aroteorio. Ekzemplojn de la konceptoj de model-teorio provizas la teorio de la reelaj nombroj. Oni komencu per aro de individuoj, kie ĉiu individuo estas reela nombro, kaj aro de rilatoj kaj/aŭ funkcioj, kiel { ×, +, −, ., 0, 1 }. Kiam oni demandas, ekzemple, "∃ y (y × y = 1 + 1)" en ĉi tiu lingvo, tiam estas klare, ke tiu propozicio estas vera, se y estu el la reelaj nombroj - ekzistas tia reela nombro y, nome la kvadrata radiko de 2; tamen se y estu el la racionalaj nombroj, do la propozicio estas malvera kun ĉiu nombro el la racionalaj nombroj. Simila propozicio, "∃ y (y × y = 0 − 1)", estas malvera en la reelaj nombroj, sed estas vera en la kompleksaj nombroj, kie i × i = 0 − 1. Model-teorio do koncernas la demandon pri tio, kio estas demonstrebla en donitaj matematikaj sistemoj, kaj kiel ĉi tiuj sistemoj rilatas unu al la alia. Ĝi aparte koncernas la demandon pri tio, kio okazas, kiam oni provas etendi iun sistemon per la aldono de novaj aksiomoj aŭ novaj lingvaj konstruoj. Dalam matematika, teori model adalah studi tentang hubungan antara (kumpulan dalam bahasa formal mengungkapkan pernyataan tentang struktur matematika), dan modelnya, diambil sebagai yang memenuhi kalimat teori tersebut.

gold:hypernym

dbr:Study

prov:wasDerivedFrom

wikipedia-en:Model_theory?oldid=1121798244&ns=0

dbo:wikiPageLength

62877

foaf:isPrimaryTopicOf

wikipedia-en:Model_theory