Jump to content

User contributions for C7XWiki

For C7XWiki talk block log uploads logs global block log global account filter log

A user with 1,395 edits. Account created on 25 January 2021.

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

02:0002:00, 22 August 2024 diff hist −10‎ Dependent type ‎ Math tags + fix →‎Σ type current
01:5801:58, 22 August 2024 diff hist 0‎ Dependent type ‎ →‎Σ type
01:5701:57, 22 August 2024 diff hist −250‎ Dependent type ‎ Math tags →‎Formal definition

11:5811:58, 10 August 2024 diff hist +18‎ System F ‎ →‎See also current

07:2307:23, 29 July 2024 diff hist +8‎ Intuitionistic type theory ‎ →‎Σ type constructor current

20:5520:55, 27 July 2024 diff hist +415‎ Admissible ordinal ‎No edit summary current Tags: Mobile edit Mobile web edit

14:2814:28, 26 July 2024 diff hist +605‎ Infinitary logic ‎ →‎Definition of Hilbert-type infinitary logics current
12:3512:35, 26 July 2024 diff hist −14‎ Infinitary logic ‎ →‎Formal languages
10:1210:12, 26 July 2024 diff hist −94‎ Ramsey cardinal ‎No edit summary current
08:5508:55, 26 July 2024 diff hist +424‎ Infinitary logic ‎ More →‎Formal languages
08:4008:40, 26 July 2024 diff hist +9‎ Homogeneous (large cardinal property) ‎ Math tags
04:1904:19, 26 July 2024 diff hist −8‎ Infinitary logic ‎ Notational consistency →‎Formal languages
04:1804:18, 26 July 2024 diff hist +22‎ Infinitary logic ‎ Split definition of language and definition of infinitary proof →‎Definition of Hilbert-type infinitary logics
04:0904:09, 26 July 2024 diff hist −162‎ Infinitary logic ‎ →‎Definition of Hilbert-type infinitary logics
04:0904:09, 26 July 2024 diff hist 0‎ Infinitary logic ‎ →‎Definition of Hilbert-type infinitary logics
04:0404:04, 26 July 2024 diff hist +370‎ Infinitary logic ‎ Math tags, add more from Carp's definition →‎Definition of Hilbert-type infinitary logics

06:3906:39, 25 July 2024 diff hist +121‎ Erdős cardinal ‎ Math tags current
06:3106:31, 25 July 2024 diff hist +79‎ Löwenheim–Skolem theorem ‎ Math tags →‎Upward part current
06:2706:27, 25 July 2024 diff hist +9‎ Skolem normal form ‎ →‎Skolem theories current
06:2606:26, 25 July 2024 diff hist +1‎ Löwenheim–Skolem theorem ‎ →‎Downward part
06:2606:26, 25 July 2024 diff hist −29‎ Löwenheim–Skolem theorem ‎ Move punctuation out of math tags →‎Downward part
06:2306:23, 25 July 2024 diff hist +278‎ Zero sharp ‎ Math tags, add predicate symbol to relativized sharps
06:1606:16, 25 July 2024 diff hist +51‎ Zero sharp ‎ Math tags →‎Statements equivalent to existence
06:1606:16, 25 July 2024 diff hist +81‎ Zero sharp ‎ Math tags
06:1506:15, 25 July 2024 diff hist +52‎ Zero sharp ‎ →‎Definition
06:1106:11, 25 July 2024 diff hist +196‎ Mouse (set theory) ‎No edit summary
01:3301:33, 25 July 2024 diff hist +255‎ Zero sharp ‎ →‎Consequences of existence and non-existence Tags: Mobile edit Mobile web edit

14:1814:18, 23 July 2024 diff hist −8‎ Multiplication algorithm ‎ Grammar →‎History

12:5412:54, 20 July 2024 diff hist +448‎ No Fly List ‎ →‎2023 leak

08:5708:57, 17 July 2024 diff hist +1‎ Manifesto of the 343 ‎ Word choice/tone current

21:0221:02, 9 July 2024 diff hist +20‎ Ramsey's theorem ‎ →‎Infinite graphs: Math tags Tags: Mobile edit Mobile web edit
20:1320:13, 9 July 2024 diff hist +23‎ Van der Waerden number ‎ →‎Tables of Van der Waerden numbers: Replace dead link current Tags: Mobile edit Mobile web edit

12:1112:11, 1 July 2024 diff hist +269‎ Second-order logic ‎ "Axiomatize mathematics using V" may sound misleading, as if V is an axiom system like ZFC and not a model of set theory. This earlier part may explain the comparison →‎Semantics current
12:0012:00, 1 July 2024 diff hist +783‎ Von Neumann–Bernays–Gödel set theory ‎ →‎Models
11:2511:25, 1 July 2024 diff hist +43‎ Second-order logic ‎ Archive URL
11:0811:08, 1 July 2024 diff hist +210‎ Second-order logic ‎ Add terminology+characterization which may be clarifying →‎Semantics

21:0921:09, 23 June 2024 diff hist +205‎ Indescribable cardinal ‎No edit summary current
20:5420:54, 23 June 2024 diff hist −1‎ Reflection principle ‎ →‎Soundness
20:5420:54, 23 June 2024 diff hist +258‎ Reflection principle ‎ →‎Soundness
20:5220:52, 23 June 2024 diff hist +3‎ Reflection principle ‎ Fix link →‎Soundness
20:5220:52, 23 June 2024 diff hist +1‎ Reflection principle ‎ →‎Soundness
20:5220:52, 23 June 2024 diff hist +163‎ Reflection principle ‎ →‎Soundness
20:5020:50, 23 June 2024 diff hist −5‎ Reflection principle ‎ →‎Soundness
20:4920:49, 23 June 2024 diff hist +1,389‎ Reflection principle ‎ Add more →‎Soundness
06:1506:15, 23 June 2024 diff hist 0‎ Adele Goldstine ‎ →‎Death: Caps current Tags: Manual revert Mobile edit Mobile web edit

05:1805:18, 21 June 2024 diff hist +145‎ Mahlo cardinal ‎ Adding example of author using this convention →‎α-Mahlo, hyper-Mahlo and greatly Mahlo cardinals current
05:1205:12, 21 June 2024 diff hist +1‎ Subtle cardinal ‎No edit summary current
05:1205:12, 21 June 2024 diff hist +88‎ Subtle cardinal ‎ Organizing into one section
05:1105:11, 21 June 2024 diff hist +82‎ Subtle cardinal ‎ Citing
05:0305:03, 21 June 2024 diff hist −2‎ Subtle cardinal ‎ Cite definition

Retrieved from "https://en.wikipedia.org/wiki/Special:Contributions/C7XWiki"