Elementární vnoření
Z Wikipedie, otevřené encyklopedie
Elementární vnoření je matematický pojem z oblasti teorie modelů.
Obsah |
[editovat] Definice
[editovat] Elementární vnoření
Nechť A, B jsou dvě struktury téhož jazyka. Prosté zobrazení
se nazývá elementární vnoření (struktury A do struktury B), je-li pro každou formuli
, kde
jsou všechny volné proměnné vyskytující se ve
,
.
[editovat] Elementární podstruktura, elementární podmodel
Nechť
jsou dvě struktury téhož jazyka, resp. dva modely téže teorie. Pak řekneme, že A je podstrukturou, resp. podmodelem, B právě tehdy, když identita na A je elementární vnoření. V obou případech značíme
.
[editovat] Elementární rozšíření
Nechť
jsou dvě struktury téhož jazyka, resp. dva modely téže teorie. Pak řekneme, že B je elementární rozšíření A, je-li A elementární podstrukturou, resp. elementárním podmodelem, B.
[editovat] Podívejte se také na
| Související články obsahuje: |

