Łoś–Tarski preservation theorem
id:
o-tarski-preservation-theorem-286-10051602
title:
Łoś–Tarski preservation theorem
text:
The Łoś–Tarski theorem is a theorem in model theory, a branch of mathematics, that states that the set of formulas preserved under taking substructures is exactly the set of universal formulas. The theorem was discovered by Jerzy Łoś and Alfred Tarski.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/%C5%81o%C5%9B%E2%80%93Tarski_preservation_theorem
date created:
date modified:
2023-04-24T18:17:42Z
main entity:
{"identifier":"Q8080822","url":"https://www.wikidata.org/entity/Q8080822"}
image:
fields total:
13
integrity:
13