150.147.35.124の投稿記録
表示
150.147.35.124 会話 ブロック記録 記録 グローバルブロック記録 編集フィルター記録
2023年9月15日 (金)
- 22:432023年9月15日 (金) 22:43 差分 履歴 −5 定義可能実数 →算術における定義可能性: リンク修正 最新 タグ: ビジュアルエディター: 中途切替
- 22:402023年9月15日 (金) 22:40 差分 履歴 0 計算可能数 →その他の性質: 誤字訂正 タグ: ビジュアルエディター
2023年9月5日 (火)
- 17:272023年9月5日 (火) 17:27 差分 履歴 +7,725 N 定義可能集合 en:Definable set(02:57, 9 January 2023)の翻訳
2023年9月2日 (土)
- 00:302023年9月2日 (土) 00:30 差分 履歴 +16 絶対性 (数理論理学) リンクの修正
- 00:292023年9月2日 (土) 00:29 差分 履歴 +28 レーヴェンハイム–スコーレムの定理 リンクの修正 最新
- 00:262023年9月2日 (土) 00:26 差分 履歴 +47 モデル理論 新ページ追加に伴い仮リンクの修正
- 00:212023年9月2日 (土) 00:21 差分 履歴 +28 N 初等部分構造 英語版の対応記事に倣い、リダイレクト追加 最新 タグ: 新規リダイレクト
- 00:152023年9月2日 (土) 00:15 差分 履歴 −7 初等同値性 英文の残りカスの除去
- 00:122023年9月2日 (土) 00:12 差分 履歴 +8,723 N 初等同値性 en:Elementary equivalence(12:29, 8 June 2023)の翻訳
2023年8月31日 (木)
- 23:152023年8月31日 (木) 23:15 差分 履歴 +18 順序数定義可能集合 記事間リンク増強
- 18:072023年8月31日 (木) 18:07 差分 履歴 +32 N 構成可能宇宙 リダイレクト作成 最新 タグ: 新規リダイレクト
- 18:042023年8月31日 (木) 18:04 差分 履歴 +9,807 N 絶対性 (数理論理学) en:Absoluteness (logic)(06:44, 5 May 2023)の翻訳 タグ: 曖昧さ回避ページへのリンク
- 11:392023年8月31日 (木) 11:39 差分 履歴 +82 構成可能集合 →定義: 構成可能宇宙という単語の説明が無かったため追加 最新
2023年8月29日 (火)
- 22:272023年8月29日 (火) 22:27 差分 履歴 +10,333 N 解析的階層 en:Analytical hierarchy(22:21, 21 February 2023)の翻訳
- 13:082023年8月29日 (火) 13:08 差分 履歴 +15 ベール空間 Forテンプレートの展開結果がおかしかったので修正 最新
2023年8月27日 (日)
- 21:162023年8月27日 (日) 21:16 差分 履歴 +1 実効記述集合論 言語間リンクを邪魔する構文間違いを修正
- 21:022023年8月27日 (日) 21:02 差分 履歴 −31 エフェクティブ記述集合論 英語版に倣いページを作成したのでリダイレクト変更 最新 タグ: 転送先変更
- 20:572023年8月27日 (日) 20:57 差分 履歴 +3,451 N 実効記述集合論 en:Effective descriptive set theory(03:44, 27 March 2022)の翻訳
- 02:562023年8月27日 (日) 02:56 差分 履歴 +195 Wikipedia:統合提案 →8月下旬(21日から月末): 再帰理論の件の追加
- 02:472023年8月27日 (日) 02:47 差分 履歴 +65 再帰理論 統合提案のお知らせを追加 タグ: 差し戻し済み
- 02:442023年8月27日 (日) 02:44 差分 履歴 +922 N ノート:再帰理論 →計算可能性理論に統合・リダイレクトすべきかもしれません。: 新しい節 最新 タグ: 議論ツール 新規トピック ソースモード
2023年8月26日 (土)
- 23:002023年8月26日 (土) 23:00 差分 履歴 −45 記述集合論 →実効記述集合論: 良く使われている訳語 エフェクティブ→実効 に変更。 最新
- 22:572023年8月26日 (土) 22:57 差分 履歴 −2 射影集合 →解析的階層との関連: 訳語の調整 最新
- 22:522023年8月26日 (土) 22:52 差分 履歴 +47 射影集合 他の階層との比較テーブル追加
- 22:482023年8月26日 (土) 22:48 差分 履歴 +26 N 射影階層 リダイレクト作成 最新 タグ: 新規リダイレクト
- 02:182023年8月26日 (土) 02:18 差分 履歴 −219 超限数 翻訳作業終了のため翻訳途中の注意書きブロックを削除
- 02:122023年8月26日 (土) 02:12 差分 履歴 +301 超限数 →例: ("Toadspike" 14:02, 12 April 2022 UTC)の翻訳追加
2023年8月25日 (金)
- 22:012023年8月25日 (金) 22:01 差分 履歴 +9,162 超限帰納法 リダイレクトを止めて情報の増強のためen:Transfinite induction(14:52, 30 May 2023)の翻訳に変更 タグ: リダイレクト解除
- 16:042023年8月25日 (金) 16:04 差分 履歴 +125 解析集合 近い用語との混同に関する注意の追加 最新
- 15:512023年8月25日 (金) 15:51 差分 履歴 +18 Template:Pointclasses 訳語が誤解を招きそうなので変更 最新
- 09:582023年8月25日 (金) 09:58 差分 履歴 +5,214 N パリティ関数 en:Parity function(15:00, 25 March 2023)の翻訳(表現が曖昧な段落を除く) タグ: 曖昧さ回避ページへのリンク
2023年8月24日 (木)
- 19:292023年8月24日 (木) 19:29 差分 履歴 +3,343 N Template:Pointclasses en:Template:Pointclasses(08:01, 30 September 2022)の移植
- 19:022023年8月24日 (木) 19:02 差分 履歴 +1 ボレル階層 書体の異常を修正
- 19:012023年8月24日 (木) 19:01 差分 履歴 +11,459 N ボレル階層 en:Borel hierarchy(04:57, 25 July 2023)の翻訳
2023年8月2日 (水)
- 04:362023年8月2日 (水) 04:36 差分 履歴 +354 スコットのトリック →濃度への応用: 誤解を招かないように説明を追加
- 04:282023年8月2日 (水) 04:28 差分 履歴 0 濃度 (数学) →厳密な定義
- 04:232023年8月2日 (水) 04:23 差分 履歴 +4,810 N スコットのトリック en:Scott's trick(10:49, 21 November 2021)の翻訳 タグ: 曖昧さ回避ページへのリンク
2023年8月1日 (火)
- 21:312023年8月1日 (火) 21:31 差分 履歴 +2,785 N 累積的階層 英語版 en:Cumulative hierarchy(09:54, 6 July 2022)の翻訳 タグ: ビジュアルエディター: 中途切替