/sci/ - Science & Math

https://www.muramatik.com/motives-what-not/

>>11598371
How can it be free when it has non-trivial related articles?

>>11598361
From an undergrad course years ago, I remember it being about studying for example how a theory can be modelled. You have the notion of a model which is a pair consisting of a set of whatever called the universe and a set of symbols which you interpret in some way, and then you can use the symbols and and elements of your universe to make all sorts of sentences. Depending on what each symbol means in your model, such sentences will be given a truth value, and this allows you to use those models as tools for studying theories. A theory, if I remember correctly, is a finite set of such sentences, and then you take your model and see which of them hold in it. If all the sentences are true, then you say that your model models the theory. Someone else can probably explain it better, I'm working on some faint memories now.