monomorfismus

[Monomorfizmus], logika, synonymum kategoričnosti, vlastnost axiomatického systému, jehož všechny modely jsou izomorfní. Monomorfismus předpokládá, že daný axiomatický systém je bezesporný a úplný a že jeho množina axiómů je nezávislá.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 28. 10. 2006
Autor: -red-

Reklama: