Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I added some basic definitions to stability in model theory. No attempt yet to motivate them.
Some of the logic entries seem to be in a slight state of neglect, e.g., theory. I might want to get in there sometime soon, but anyone should please feel free to precede me.
1 to 1 of 1