# User contributions

Jump to navigation
Jump to search

- 07:38, 26 July 2018 diff hist +297 m Ultraproduct is Well-Defined Added \left and \right current
- 06:44, 26 July 2018 diff hist +11 m Compactness Theorem
- 03:46, 26 July 2018 diff hist +41 m User:DingChao/Sandbox/Compactness Theorem current
- 03:38, 26 July 2018 diff hist +34 Compactness Theorem
- 03:30, 26 July 2018
diff hist
**+6,625** N User:DingChao/Sandbox/Compactness Theorem Created page with "{{refactor|Proof per page}} {{MissingLinks}} == Theorem == Let $\mathcal L$ be the language of predicate logic. Let $T$ be a set..." - 10:30, 25 July 2018 diff hist +52 m Łoś's Theorem
- 10:22, 25 July 2018 diff hist +104 m Łoś's Theorem Added a note explaining that this is just a proof of the special case.
- 08:45, 25 July 2018 diff hist +27 Definition:Upper Set current
- 08:41, 25 July 2018 diff hist -25 Ultraproduct is Well-Defined
- 07:31, 24 July 2018 diff hist +1 m Ultraproduct is Well-Defined
- 07:30, 24 July 2018 diff hist -14 m Ultraproduct is Well-Defined
- 07:20, 24 July 2018 diff hist 0 m Definition:Ultraproduct current
- 07:16, 24 July 2018
diff hist
**+513** Definition talk:Subset/Superset - 03:48, 24 July 2018 diff hist +202 Definition:Subset/Superset Questioning $T$ contains $S$
- 03:06, 24 July 2018 diff hist +10 User:DingChao/Ultraproduct is Well-defined current
- 02:57, 24 July 2018 diff hist +65 m Ultraproduct is Well-Defined
- 02:49, 24 July 2018 diff hist +34 m Ultraproduct is Well-Defined
- 02:41, 24 July 2018 diff hist +6 m Ultraproduct is Well-Defined
- 02:39, 24 July 2018 diff hist -4 User:DingChao/Sandbox/Ultraproduct is Well-defined current
- 02:39, 24 July 2018 diff hist +10 User:DingChao/Sandbox/Ultraproduct is Well-defined
- 02:35, 24 July 2018 diff hist -12 User:DingChao/Sandbox/Ultraproduct is Well-defined
- 02:22, 24 July 2018 diff hist -12 Ultraproduct is Well-Defined
- 02:02, 24 July 2018
diff hist
**-3,624** User:DingChao/Ultraproduct is Well-defined Blanked the page - 01:59, 24 July 2018 diff hist +15 User:DingChao/Sandbox/Ultraproduct is Well-defined
- 01:58, 24 July 2018
diff hist
**-3,209** Definition:Ultraproduct Moved the proof of consistency to a new page. - 01:57, 24 July 2018
diff hist
**+3,624** N Ultraproduct is Well-Defined Created page with "{{proofread}} == Theorem == '''Definition:Ultraproduct is well-defined.''' More specificly, following the definitions on Definition:Ultraproduct, we are going to pr..." - 01:52, 24 July 2018
diff hist
**+3,624** N User:DingChao/Ultraproduct is Well-defined Created page with "{{proofread}} == Theorem == '''Definition:Ultraproduct is well-defined.''' More specificly, following the definitions on Definition:Ultraproduct, we are going to pr..." - 01:51, 24 July 2018 diff hist +4 User:DingChao/Sandbox/Ultraproduct is Well-defined
- 01:45, 24 July 2018
diff hist
**+3,605** N User:DingChao/Sandbox/Ultraproduct is Well-defined Created page with "== Theorem == '''Definition:Ultraproduct is well-defined.''' More specificly, following the definitions on Definition:Ultraproduct, we are going to prove that: :(1)..." - 01:08, 24 July 2018 diff hist +66 User:DingChao/Sandbox current
- 14:16, 23 July 2018 diff hist -2 m Definition:Ultraproduct
- 14:14, 23 July 2018
diff hist
**+3,248** Definition:Ultraproduct Added proofs of the consistency of the definitions. - 14:12, 23 July 2018 diff hist +14 User:DingChao/Sandbox
- 14:10, 23 July 2018
diff hist
**+1,084** User:DingChao/Sandbox - 09:50, 23 July 2018 diff hist +155 User:DingChao/Sandbox
- 07:03, 23 July 2018
diff hist
**+1,995** User:DingChao/Sandbox - 11:00, 22 July 2018
diff hist
**+1,846** N User:DingChao/Sandbox Created page with "{{MissingLinks}} == Definition == Let $\mathcal L$ be a first-order language and let $I$ be an infinite set. Let $\mathcal U$ be an Definition:Ultrafilter on Set|ultrafilt..." - 03:58, 18 July 2018 diff hist 0 m Łoś's Theorem
- 03:55, 18 July 2018 diff hist +245 m Łoś's Theorem Added several links.
- 03:41, 18 July 2018 diff hist -16 m Compactness Theorem Modified the link to Definition:Finitely_Satisfiable
- 02:32, 18 July 2018 diff hist -1 m Compactness Theorem Changed "containing" into "including".
- 08:55, 13 July 2018 diff hist +38 m Compactness Theorem Added a link to Ultrafilter_Lemma/Corollary.
- 08:35, 13 July 2018 diff hist +1 m Ultrafilter Lemma/Corollary Added a missing "\" before "in".