first-order logic
| definable number | every partial order can be extended to a total order | Connectivity is not expressible in first-order logic | compactness theorem |
| model theory |
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.