User contributions for Bakkot
Jump to navigation
Jump to search
26 December 2012
- 21:2521:25, 26 December 2012 diff hist +1,153 Talk:Compactness Theorem No edit summary
- 09:0709:07, 26 December 2012 diff hist −8 Compactness Theorem →Proof using Ultraproducts
- 08:4908:49, 26 December 2012 diff hist +44 m Compactness Theorem →Proof using Ultraproducts
- 08:4408:44, 26 December 2012 diff hist +21 m Compactness Theorem →Proof using Ultraproducts
- 08:4108:41, 26 December 2012 diff hist +531 Talk:Compactness Theorem →Substantial error in proof with ultraproducts
- 08:4108:41, 26 December 2012 diff hist −6 Compactness Theorem →Proof using Ultraproducts
- 08:3408:34, 26 December 2012 diff hist +250 Compactness Theorem →Proof using Ultraproducts
- 08:3308:33, 26 December 2012 diff hist +40 User:Bakkot/Compactness No edit summary
- 08:2808:28, 26 December 2012 diff hist +6,887 N User:Bakkot/Compactness Created page with "{{MissingLinks}} == Theorem == Let $T$ be a set of $\mathcal{L}$-sentences where $\mathcal{L}$ is a first-order language. Then $T$ is [[D..."