Omega-categorical theory
id:
omega-categorical-theory-264-7542100
title:
Omega-categorical theory
text:
In mathematical logic, an omega-categorical theory is a theory that has exactly one countably infinite model up to isomorphism. Omega-categoricity is the special case κ = ℵ 0 = ω of κ-categoricity, and omega-categorical theories are also referred to as ω-categorical. The notion is most important for countable first-order theories.
brand slug:
wiki
category slug:
encyclopedia
description:
Mathematical logic theory with exactly one countably infinite model up to isomorphism
original url:
https://en.wikipedia.org/wiki/Omega-categorical_theory
date created:
date modified:
2024-03-19T13:15:02Z
main entity:
{"identifier":"Q7089964","url":"https://www.wikidata.org/entity/Q7089964"}
image:
fields total:
13
integrity:
14