Atomic model (mathematical logic)
id:
atomic-model-mathematical-logic-209-996919
title:
Atomic model (mathematical logic)
text:
In model theory, a subfield of mathematical logic, an atomic model is a model such that the complete type of every tuple is axiomatized by a single formula. Such types are called principal types, and the formulas that axiomatize them are called complete formulas.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Atomic_model_(mathematical_logic)
date created:
2005-10-26T19:59:03Z
date modified:
2024-09-11T16:21:00Z
main entity:
{"identifier":"Q15308119","url":"https://www.wikidata.org/entity/Q15308119"}
image:
fields total:
13
integrity:
14