用户贡献
- 2022 年 10 月 17 日 (一) 19:29 差异 历史 +4,891 N 用户:不萌/Erdös-Dushnik-Miller 分划定理及一个应用 创建页面，并添加内容 “我们先来看一个经典的组合定理: \begin{theorem}[Erdös--Szekeres] 对于任意长为 $(mn+1)$ 的序列, 要么可以找到一个长为$(m+1)…” 当前
- 2022 年 10 月 17 日 (一) 19:28 差异 历史 +65 用户:不萌 当前
- 2022 年 9 月 30 日 (五) 15:01 差异 历史 +1,360 用户:不萌/非标准分析/Loeb测度 当前
- 2022 年 9 月 30 日 (五) 14:09 差异 历史 +47 用户:不萌/非标准分析/Loeb测度
- 2022 年 9 月 30 日 (五) 14:01 差异 历史 +2,792 N 用户:不萌/非标准分析/Loeb测度 创建页面，并添加内容 “\newcommand{\A}{\mathcal{A}} 这一节我们将开始 Loeb 测度的构造, Loeb 测度是 Peter Loeb 构造的在非标准空间上的测度. \section{Loeb…”
- 2022 年 9 月 30 日 (五) 12:59 差异 历史 +38 用户:不萌/非标准分析 当前
- 2022 年 9 月 30 日 (五) 12:59 差异 历史 +20 N 用户:不萌/非标准分析 创建页面，并添加内容 “\subpage{Loeb测度}”
- 2022 年 9 月 30 日 (五) 12:58 差异 历史 +31 用户:不萌
- 2022 年 9 月 28 日 (三) 16:36 差异 历史 +1,266 N Suslin 树 创建页面，并添加内容 “%翻译自Wikipedia Suslin 树是一个集合论的概念, 这个概念是以 以俄国数学家 Mikhail Yakovlevich Suslin 的名字命名的. ==定…”
- 2022 年 1 月 19 日 (三) 17:26 差异 历史 +1,030 讲义:集合论/选择公理
- 2022 年 1 月 19 日 (三) 16:45 差异 历史 +16 m 讲义:集合论/基数
- 2021 年 12 月 24 日 (五) 14:08 差异 历史 -30 用户:不萌/分划 当前
- 2021 年 12 月 23 日 (四) 16:38 (差异 | 历史) . . +4 . . 用户讨论:水晶球/讨论班群2021年度几何与拓扑问题整理 上的 zqsg!
- 2021 年 12 月 21 日 (二) 20:23 差异 历史 +11 m 用户:不萌/Löwenheim–Skolem 定理 当前
- 2021 年 12 月 21 日 (二) 20:20 (差异 | 历史) . . +59 . . N 讨论室:香蕉空间 上的 在百科标题里面使用-的问题以及引用时的问题
- 2021 年 12 月 21 日 (二) 20:17 差异 历史 +4 m Tarski–Vaught 判别法 似乎在标题上这个写一个横杠即可,不能理解,在讨论处提问,请将双横杠的页面删去
- 2021 年 12 月 21 日 (二) 20:12 差异 历史 +3,589 N Tarski--Vaught 判别法 连字符--与-的修改,请删去原本的页面
- 2021 年 12 月 18 日 (六) 14:33 差异 历史 +6 用户:不萌
- 2021 年 12 月 18 日 (六) 14:32 差异 历史 +5 用户:不萌
- 2021 年 12 月 18 日 (六) 14:32 差异 历史 +40 用户:不萌
- 2021 年 12 月 18 日 (六) 14:26 差异 历史 +5,386 用户:不萌/数理逻辑/命题逻辑 当前
- 2021 年 12 月 17 日 (五) 23:33 差异 历史 +1 m Tarski--Vaught 准则 将重定向从Tarski--Vaught测试更改为Tarski--Vaught 测试 标签: 重定向目标更改
- 2021 年 12 月 17 日 (五) 23:31 差异 历史 +9 m Tarski–Vaught 判别法
- 2021 年 12 月 17 日 (五) 23:31 差异 历史 +34 N Tarski--Vaught 准则 重定向页面至Tarski--Vaught测试 标签: 新重定向
- 2021 年 12 月 17 日 (五) 23:29 差异 历史 +3,574 N Tarski–Vaught 判别法 创建页面，并添加内容 “Tarski--Vaught测试是 判定一个结构是否是另一个结构的 初等子结构的充要条件. 它在用于构造一个大结构的初等…”
- 2021 年 12 月 17 日 (五) 23:28 差异 历史 +3,563 用户:不萌/Tarski准则
- 2021 年 12 月 17 日 (五) 22:55 差异 历史 +1 m 用户:不萌/Löwenheim–Skolem 定理
- 2021 年 12 月 17 日 (五) 22:55 差异 历史 -1 m 用户:不萌
- 2021 年 12 月 17 日 (五) 22:02 差异 历史 +503 N 用户:不萌/子结构 创建页面，并添加内容 “%有一部分翻译自Wikipedia 在模型论中,一个结构指的是 == 定义 == == 相关概念 == {{ Itemize | 初等子结构 }} {{…”
- 2021 年 12 月 17 日 (五) 21:55 差异 历史 +25 m 用户:不萌
- 2021 年 12 月 16 日 (四) 23:06 差异 历史 +1,783 用户:不萌/数理逻辑/子结构 当前
- 2021 年 12 月 16 日 (四) 17:02 差异 历史 +20 N 用户:不萌/Tarski准则 创建页面，并添加内容 “Tarski--Vaught测试”
- 2021 年 12 月 16 日 (四) 16:56 差异 历史 +28 用户:不萌
- 2021 年 12 月 16 日 (四) 16:38 差异 历史 +3,686 用户:不萌/数理逻辑/命题逻辑
- 2021 年 12 月 15 日 (三) 23:18 差异 历史 +802 用户:不萌/数理逻辑/子结构
- 2021 年 12 月 15 日 (三) 15:03 差异 历史 +1,039 N 用户:不萌/数理逻辑/子结构 创建页面，并添加内容 “%按照自己的逻辑整理一下关于子结构的一些内容 \newcommand{\cA}{\mathcal{A}} \newcommand{\cL}{\mathcal{L}} \section{同构} 在线性代数…”
- 2021 年 12 月 15 日 (三) 14:26 差异 历史 0 m 用户:不萌/Löwenheim–Skolem 定理 把"基本子结构"换成了"初等子结构"
- 2021 年 12 月 15 日 (三) 10:40 差异 历史 +3,086 用户:不萌/Löwenheim–Skolem 定理
- 2021 年 12 月 15 日 (三) 07:54 差异 历史 +141 N 用户:不萌/Löwenheim–Skolem 定理 创建页面，并添加内容 “Löwenheim–Skolem 定理说的是 对于任何一个一阶逻辑语言$L$ 和一个$L$-结构$M$, 存在一个$M$的同质子结构”
- 2021 年 12 月 15 日 (三) 07:51 差异 历史 +42 用户:不萌
- 2021 年 12 月 13 日 (一) 17:56 (差异 | 历史) . . +4 . . 帮助讨论:创建页面 上的 如何删去一个页面呢?
- 2021 年 12 月 7 日 (二) 22:48 差异 历史 +45 N 用户:不萌/数理逻辑/命题逻辑 创建页面，并添加内容 “命题逻辑首先是一套语言 ==语言==”
- 2021 年 12 月 7 日 (二) 22:42 差异 历史 +27 用户:不萌/数理逻辑 当前
- 2021 年 12 月 7 日 (二) 22:14 (差异 | 历史) . . +13 . . N 帮助讨论:创建页面 上的 如何删去一个页面呢?
- 2021 年 12 月 7 日 (二) 22:09 差异 历史 0 m 用户:不萌/数理逻辑/一阶形式逻辑/ 不萌移动页面用户:不萌/数理逻辑/一阶形式逻辑/公/为什么我这么可爱/为什么我这么可爱/为什么我这么可爱至用户:不萌/数理逻辑/一阶形式逻辑/ 当前
- 2021 年 12 月 7 日 (二) 22:05 差异 历史 -72 用户:不萌/数理逻辑/一阶形式逻辑/ 清空页面 标签: 清空
- 2021 年 12 月 7 日 (二) 22:04 差异 历史 +72 N 用户:不萌/数理逻辑/一阶形式逻辑/ 创建页面，并添加内容 “\begin{structure} \subpage{为什么我这么可爱} \end{structure}”
- 2021 年 12 月 7 日 (二) 22:03 差异 历史 +51 N 用户:不萌/数理逻辑/一阶形式逻辑 创建页面，并添加内容 “\begin{structure} \subpage{公} \end{structure}” 当前
- 2021 年 12 月 7 日 (二) 22:03 差异 历史 +90 N 用户:不萌/数理逻辑 创建页面，并添加内容 “\begin{structure} \subpage{一阶形式逻辑} \subpage{子结构} \end{structure}”
- 2021 年 11 月 29 日 (一) 17:33 差异 历史 +6 m 讲义:代数拓扑/范畴与函子