Download the app
educalingo
Search

Meaning of "model-theoretic" in the English dictionary

Dictionary
DICTIONARY
section

PRONUNCIATION OF MODEL-THEORETIC

model-theoretic  [ˌmɒdəlˌθɪəˈrɛtɪk] play
facebooktwitterpinterestwhatsapp

GRAMMATICAL CATEGORY OF MODEL-THEORETIC

noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
Model-Theoretic is an adjective.
The adjective is the word that accompanies the noun to determine or qualify it.

WHAT DOES MODEL-THEORETIC MEAN IN ENGLISH?

Model theory

In mathematics, model theory is the study of classes of mathematical structures from the perspective of mathematical logic. The objects of study are models of theories in a formal language. We call a theory a set of sentences in a formal language, and model of a theory a structure that satisfies the sentences of that theory. Model theory recognises and is intimately concerned with a duality: It examines semantical elements by means of syntactical elements of a corresponding language. To quote the first page of Chang and Keisler: universal algebra + logic = model theory. Model theory developed rapidly during the 1990s, and a more modern definition is provided by Wilfrid Hodges: model theory = algebraic geometry − fields, although model theorists are also interested in the study of fields. Other nearby areas of mathematics include combinatorics, number theory, arithmetic dynamics, analytic functions, and non-standard analysis. In a similar way to proof theory, model theory is situated in an area of interdisciplinarity among mathematics, philosophy, and computer science.

Definition of model-theoretic in the English dictionary

The definition of model-theoretic in the dictionary is of or relating to the branch of logic that deals with the properties of models; the semantic study of formal systems.

WORDS THAT RHYME WITH MODEL-THEORETIC


anchoretic
ˌæŋkəˈrɛtɪk
antidiuretic
ˌæntɪˌdaɪjʊˈrɛtɪk
antipyretic
ˌæntɪpaɪˈrɛtɪk
anuretic
ˌænjʊˈrɛtɪk
aphaeretic
ˌæfəˈrɛtɪk
apheretic
ˌæfəˈrɛtɪk
apyretic
ˌæpaɪˈrɛtɪk
cataphoretic
ˌkætəfəˈrɛtɪk
diaphoretic
ˌdaɪəfəˈrɛtɪk
diarrhetic
ˌdaɪəˈrɛtɪk
dieretic
ˌdaɪəˈrɛtɪk
diuretic
ˌdaɪjʊˈrɛtɪk
game-theoretic
ˌɡeɪmθɪəˈrɛtɪk
Masoretic
ˌmæsəˈrɛtɪk
Massoretic
ˌmæsəˈrɛtɪk
paraparetic
ˌpærəpəˈrɛtɪk
paretic
pəˈrɛtɪk
pyretic
paɪˈrɛtɪk
theoretic
ˌθɪəˈrɛtɪk
uretic
jʊˈrɛtɪk

WORDS THAT BEGIN LIKE MODEL-THEORETIC

mode
mode of transport
model
model plane
model railway
model theory
modeling
modelist
modelled
modeller
modelling
modelling clay
modello
modem
Modena
moder
moderate
moderate breeze
moderate gale
moderate-sized

WORDS THAT END LIKE MODEL-THEORETIC

anoretic
aporetic
athletic
atretic
cretic
diaeretic
electrophoretic
encopretic
heretic
hyperpyretic
hysteretic
iontophoretic
ischuretic
loop diuretic
magnetic
natriuretic
oliguretic
saluretic
syncretic
synthetic

Synonyms and antonyms of model-theoretic in the English dictionary of synonyms

SYNONYMS

Translation of «model-theoretic» into 25 languages

TRANSLATOR
online translator

TRANSLATION OF MODEL-THEORETIC

Find out the translation of model-theoretic to 25 languages with our English multilingual translator.
The translations of model-theoretic from English to other languages presented in this section have been obtained through automatic statistical translation; where the essential translation unit is the word «model-theoretic» in English.

Translator English - Chinese

模型论
1,325 millions of speakers

Translator English - Spanish

teoría de modelos
570 millions of speakers

English

model-theoretic
510 millions of speakers

Translator English - Hindi

मॉडल रिप्ले
380 millions of speakers
ar

Translator English - Arabic

نموذج نظري
280 millions of speakers

Translator English - Russian

теоретико - модель
278 millions of speakers

Translator English - Portuguese

- modelo teórico
270 millions of speakers

Translator English - Bengali

মডেল-তত্ত্বীয়
260 millions of speakers

Translator English - French

modèle théorique
220 millions of speakers

Translator English - Malay

Model-teori
190 millions of speakers

Translator English - German

modelltheoretischen
180 millions of speakers

Translator English - Japanese

モデル理論
130 millions of speakers

Translator English - Korean

모델 이론
85 millions of speakers

Translator English - Javanese

Model-teori
85 millions of speakers
vi

Translator English - Vietnamese

mô hình lý thuyết
80 millions of speakers

Translator English - Tamil

மாதிரி-கோட்பாட்டு
75 millions of speakers

Translator English - Marathi

मॉडेल-सैद्धांतिक
75 millions of speakers

Translator English - Turkish

Modele teorik
70 millions of speakers

Translator English - Italian

modello della teoria
65 millions of speakers

Translator English - Polish

teoretyczne modelu
50 millions of speakers

Translator English - Ukrainian

теоретико -модель
40 millions of speakers

Translator English - Romanian

teoretic model
30 millions of speakers
el

Translator English - Greek

μοντέλο της θεωρίας
15 millions of speakers
af

Translator English - Afrikaans

model -teoretiese
14 millions of speakers
sv

Translator English - Swedish

modell teoretisk
10 millions of speakers
no

Translator English - Norwegian

modell -teoretiske
5 millions of speakers

Trends of use of model-theoretic

TRENDS

TENDENCIES OF USE OF THE TERM «MODEL-THEORETIC»

The term «model-theoretic» is normally little used and occupies the 127.582 position in our list of most widely used terms in the English dictionary.
0
100%
FREQUENCY
Little used
41
/100
The map shown above gives the frequency of use of the term «model-theoretic» in the different countries.
Principal search tendencies and common uses of model-theoretic
List of principal searches undertaken by users to access our English online dictionary and most widely used expressions with the word «model-theoretic».

FREQUENCY OF USE OF THE TERM «MODEL-THEORETIC» OVER TIME

The graph expresses the annual evolution of the frequency of use of the word «model-theoretic» during the past 500 years. Its implementation is based on analysing how often the term «model-theoretic» appears in digitalised printed sources in English between the year 1500 and the present day.

Examples of use in the English literature, quotes and news about model-theoretic

EXAMPLES

10 ENGLISH BOOKS RELATING TO «MODEL-THEORETIC»

Discover the use of model-theoretic in the following bibliographical selection. Books relating to model-theoretic and brief extracts from same to provide context of its use in English literature.
1
A Model-Theoretic Realist Interpretation of Science
In this book Emma Ruttkamp demonstrates the power of the full-blown employment of the model-theoretic paradigm in the philosophy of science.
Emma Ruttkamp, 2002
2
Model Theoretic Algebra With Particular Emphasis on Fields, ...
Looks like a text (and a handsome one at that), but the authors prefer to describe their creation as "notes", intended to acquaint graduate students with "the power of the most basic principles of model theory by applying them to classical ...
Christian. U Jensen, Helmt Lenzing, 1989
3
Mass Terms and Model-Theoretic Semantics
Harry Bunt provides a thorough analysis of the problem of 'mass terms' and offers an original and detailed solution.
Harry C. Bunt, 2009
4
Iterative Differential Galois Theory in Positive ...
Javier A. Moreno. Chapter 3 Iterative strongly normal theory "To begin with, they are very tall." I was looking around the room for clues. "They reach way up. Up and up. Toward the sky. They're so big, some of them, they have to have these ...
Javier A. Moreno, 2008
5
From Discourse to Logic: Introduction to Modeltheoretic ...
An explicit model- theoretic truth definition became available - through the continued research of Tarski and his students - only in the late forties.) It is precisely because the definition of validity requires the concept of truth-in-a- model, and ...
Hans Kamp, Uwe Reyle, 1993
6
Mental Models: Towards a Cognitive Science of Language, ...
8. Meaning. in. model-theoretic. semantics. The reader will recall that my long- term goal is to give an account of all the mental processes that occur in making a deduction such as: Some of those people are from the university. Any person from ...
Philip N. Johnson-Laird, 1983
7
Probabilistic Inductive Logic Programming
1. Introduction. In the preceding chapter the problem of comparing languages was considered from a behavioral perspective. In this chapter we develop an alternative, model- theoretic approach. In this approach we compare the ...
Luc De Raedt, 2008
8
Language, Memory, and Thought
7.1 A MODEL-THEORETIC SEMANTICS FOR ACT The semantics used here is an adaptation of the model-theoretic semantics that one encounters in modern logic (for example, Church, 1956; Mendelson, 1964). Model-theoretic semantics will ...
John R. Anderson, 1976
9
Andrzej Mostowski and Foundational Studies
I review Ratajczyk's version of model theoretic approach to proof theory for arithmetic. I develop the idea of the Hardy hierarchy and its application to construction of initial segments satisfying PA. As a sample of applications of these ideas I give ...
Andrzej Ehrenfeucht, V. Wiktor Marek, Marian Srebrny, 2008
10
Model-Based Reasoning in Scientific Discovery
The idea here seems to be that model-based reasoning involves "models", and hence, requires model-theoretic methods. Also this rests on a confusion. Models in the sense of analogue representations have little to do with models in the ...
L. Magnani, Nancy Nersessian, Paul Thagard, 1999

3 NEWS ITEMS WHICH INCLUDE THE TERM «MODEL-THEORETIC»

Find out what the national and international press are talking about and how the term model-theoretic is used in the context of the following news items.
1
Recurring decimals, proof, and ice floes
For differential calculus we'd need something better, and for model-theoretic discourse involving infinitesimals something better again. Yet the ... «OUPblog, Oct 14»
2
Math Department Honors Retiring Professor Wood at Algebra …
... the Department of Mathematics and Computer Science hosted the Conference on Model-Theoretic Algebra, May 31-June 1. Professor Wood ... «Wesleyan Connection, Jul 13»
3
Review by James Dow
... Representationalism (1970) (what a thought represents is independent of the situation in which it is deployed) and Putnam's Model-Theoretic ... «Metapsychology, Jun 08»

REFERENCE
« EDUCALINGO. Model-Theoretic [online]. Available <https://educalingo.com/en/dic-en/model-theoretic>. Apr 2024 ».
Download the educalingo app
en
English dictionary
Discover all that is hidden in the words on
index
a b c d e f g h i j k l m n o p q r s t u v w x y z