NIP (model theory)

Channel:
Subscribers:
9,580
Published on ● Video Link: https://www.youtube.com/watch?v=ZzE7hxFLIUM



Duration: 0:28
6 views
0


In model theory, a branch of mathematical logic, a complete theory T is said to satisfy NIP (or "not the independence property") if none of its formulae satisfy the independence property, that is if none of its formulae can pick out any given subset of an arbitrarily large finite set.

Source: https://en.wikipedia.org/wiki/NIP_(model_theory)
Created with WikipediaReaderReborn (c) WikipediaReader







Tags:
Booleanalgebrastructure
CambridgeUniversityPress
Completetheory
Doiidentifier
ISBNidentifier
JSTORidentifier
JuliaFKnight
Linearlyorderedgroup