User contributions for DingChao

26 July 2018

• 07:3807:38, 26 July 2018 diff hist +297‎ m Ultraproduct is Well-Defined ‎ Added \left and \right
• 06:4406:44, 26 July 2018 diff hist +11‎ m Compactness Theorem ‎No edit summary
• 03:4603:46, 26 July 2018 diff hist +41‎ m User:DingChao/Sandbox/Compactness Theorem ‎No edit summary
• 03:3803:38, 26 July 2018 diff hist +34‎ Compactness Theorem ‎No edit summary
• 03:3003: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..."

25 July 2018

• 10:3010:30, 25 July 2018 diff hist +52‎ m Łoś's Theorem ‎No edit summary
• 10:2210: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:4508:45, 25 July 2018 diff hist +27‎ Definition:Upper Section ‎No edit summary
• 08:4108:41, 25 July 2018 diff hist −25‎ Ultraproduct is Well-Defined ‎No edit summary

24 July 2018

• 07:3107:31, 24 July 2018 diff hist +1‎ m Ultraproduct is Well-Defined ‎No edit summary
• 07:3007:30, 24 July 2018 diff hist −14‎ m Ultraproduct is Well-Defined ‎No edit summary
• 07:2007:20, 24 July 2018 diff hist 0‎ m Definition:Ultraproduct ‎No edit summary
• 03:4803:48, 24 July 2018 diff hist +202‎ Definition:Subset/Superset ‎ Questioning $T$ contains $S$
• 03:0603:06, 24 July 2018 diff hist +10‎ User:DingChao/Ultraproduct is Well-defined ‎No edit summary current
• 02:5702:57, 24 July 2018 diff hist +65‎ m Ultraproduct is Well-Defined ‎No edit summary
• 02:4902:49, 24 July 2018 diff hist +34‎ m Ultraproduct is Well-Defined ‎No edit summary
• 02:4102:41, 24 July 2018 diff hist +6‎ m Ultraproduct is Well-Defined ‎No edit summary
• 02:3902:39, 24 July 2018 diff hist −4‎ User:DingChao/Sandbox/Ultraproduct is Well-defined ‎No edit summary
• 02:3902:39, 24 July 2018 diff hist +10‎ User:DingChao/Sandbox/Ultraproduct is Well-defined ‎No edit summary
• 02:3502:35, 24 July 2018 diff hist −12‎ User:DingChao/Sandbox/Ultraproduct is Well-defined ‎No edit summary
• 02:2202:22, 24 July 2018 diff hist −12‎ Ultraproduct is Well-Defined ‎No edit summary
• 02:0202:02, 24 July 2018 diff hist −3,624‎ User:DingChao/Ultraproduct is Well-defined ‎ Blanked the page
• 01:5901:59, 24 July 2018 diff hist +15‎ User:DingChao/Sandbox/Ultraproduct is Well-defined ‎No edit summary
• 01:5801:58, 24 July 2018 diff hist −3,209‎ Definition:Ultraproduct ‎ Moved the proof of consistency to a new page.
• 01:5701: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:5201: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:5101:51, 24 July 2018 diff hist +4‎ User:DingChao/Sandbox/Ultraproduct is Well-defined ‎No edit summary
• 01:4501: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:0801:08, 24 July 2018 diff hist +66‎ User:DingChao/Sandbox ‎No edit summary

23 July 2018

• 14:1614:16, 23 July 2018 diff hist −2‎ m Definition:Ultraproduct ‎No edit summary
• 14:1414:14, 23 July 2018 diff hist +3,248‎ Definition:Ultraproduct ‎ Added proofs of the consistency of the definitions.
• 14:1214:12, 23 July 2018 diff hist +14‎ User:DingChao/Sandbox ‎No edit summary
• 14:1014:10, 23 July 2018 diff hist +1,084‎ User:DingChao/Sandbox ‎No edit summary
• 09:5009:50, 23 July 2018 diff hist +155‎ User:DingChao/Sandbox ‎No edit summary
• 07:0307:03, 23 July 2018 diff hist +1,995‎ User:DingChao/Sandbox ‎No edit summary

22 July 2018

• 11:0011: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..."

18 July 2018

• 03:5803:58, 18 July 2018 diff hist 0‎ m Łoś's Theorem ‎No edit summary
• 03:5503:55, 18 July 2018 diff hist +245‎ m Łoś's Theorem ‎ Added several links.
• 03:4103:41, 18 July 2018 diff hist −16‎ m Compactness Theorem ‎ Modified the link to Definition:Finitely_Satisfiable
• 02:3202:32, 18 July 2018 diff hist −1‎ m Compactness Theorem ‎ Changed "containing" into "including".

13 July 2018

• 08:5508:55, 13 July 2018 diff hist +38‎ m Compactness Theorem ‎ Added a link to Ultrafilter_Lemma/Corollary.
• 08:3508:35, 13 July 2018 diff hist +1‎ m Ultrafilter Lemma/Corollary ‎ Added a missing "\" before "in".