About: Abstract model theory

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Abstract model theory Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

In mathematical logic, abstract model theory is a generalization of model theory that studies the general properties of extensions of first-order logic and their models. Abstract model theory provides an approach that allows us to step back and study a wide range of logics and their relationships. The starting point for the study of abstract models, which resulted in good examples was Lindström's theorem. In 1974 Jon Barwise provided an axiomatization of abstract model theory.

Attributes	Values
rdfs:label	Abstract model theory (en)
rdfs:comment	In mathematical logic, abstract model theory is a generalization of model theory that studies the general properties of extensions of first-order logic and their models. Abstract model theory provides an approach that allows us to step back and study a wide range of logics and their relationships. The starting point for the study of abstract models, which resulted in good examples was Lindström's theorem. In 1974 Jon Barwise provided an axiomatization of abstract model theory. (en)
sameAs	Abstract model theory
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Mathematical_logic dbt:Mathlogic-stub
Subject	Mathematical logic Metatheorems Model theory
gold:hypernym	Generalization
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Abstract_model_theory?oldid=1065897161&ns=0
Wikipage page ID	31474975 (xsd:integer)
page length (characters) of wiki page	1464 (xsd:nonNegativeInteger)
Wikipage revision ID	1065897161 (xsd:integer)
Link from a Wikipage to another Wikipage	Axiomatic system Jon Barwise Mathematical logic Metatheorems Model theory Lindström's theorem First-order logic Institution (computer science) Institutional model theory Model theory Mathematical logic
has abstract	In mathematical logic, abstract model theory is a generalization of model theory that studies the general properties of extensions of first-order logic and their models. Abstract model theory provides an approach that allows us to step back and study a wide range of logics and their relationships. The starting point for the study of abstract models, which resulted in good examples was Lindström's theorem. In 1974 Jon Barwise provided an axiomatization of abstract model theory. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Abstract_model_theory
is Link from a Wikipage to another Wikipage of	Abstract algebraic logic Abstract logic Abstraction (mathematics) Lindström's theorem Institution (computer science) Model theory
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Abstract_model_theory

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software