Nestandardní model - Non-standard model

v teorie modelů, disciplína uvnitř matematická logika, a nestandardní model je model teorie, který není izomorfní do zamýšlený model (nebo standardní model).[1]

Existence

Pokud je zamýšlený model nekonečný a jazyk je první objednávka, pak Věty Löwenheim – Skolem zaručit existenci nestandardních modelů. Nestandardní modely lze zvolit jako základní rozšíření nebo základní substruktury zamýšleného modelu.

Důležitost

Nestandardní modely jsou studovány v teorie množin, nestandardní analýza a nestandardní modely aritmetiky.

Viz také

Reference

  1. ^ Roman Kossak, 2004 Nestandardní modely aritmetiky a teorie množin American Mathematical Soc.