Timeline for Compactness Theorem for First Order Logic
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 22, 2022 at 8:14 | history | edited | CommunityBot |
replaced http://www.math.uga.edu/~pete with http://alpha.math.uga.edu/~pete
|
|
| Nov 10, 2010 at 0:07 | comment | added | Andrés E. Caicedo | There is an additional advantage to this approach, from the set theoretic point of view, in that strong compactness can be characterized in terms of infinitary logic by essentially the same ultraproduct argument that gives compactness for first order. | |
| Nov 9, 2010 at 22:10 | history | answered | Pete L. Clark | CC BY-SA 2.5 |