Jump to content

User contributions for 212.186.132.66

For 212.186.132.66 talk block log logs filter log

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

14:4914:49, 26 May 2024 diff hist +77‎ Constructive set theory ‎ →‎The class of all subsets of a set
13:1913:19, 26 May 2024 diff hist +27‎ Constructive set theory ‎ →‎The class of all subsets of a set
13:1713:17, 26 May 2024 diff hist +11‎ Constructive set theory ‎ →‎The class of all subsets of a set
13:0713:07, 26 May 2024 diff hist +482‎ Constructive set theory ‎ →‎The class of all subsets of a set
12:2112:21, 26 May 2024 diff hist +7‎ Diaconescu's theorem ‎ →‎Other frameworks current
12:1712:17, 26 May 2024 diff hist +6‎ Diaconescu's theorem ‎ →‎In set theory
12:1712:17, 26 May 2024 diff hist +5‎ Diaconescu's theorem ‎ →‎In set theory
12:1412:14, 26 May 2024 diff hist +124‎ Constructive set theory ‎ →‎Regularity implies PEM
12:0712:07, 26 May 2024 diff hist +218‎ Constructive set theory ‎ →‎The class of all subsets of a set: Explicit language
11:4811:48, 26 May 2024 diff hist +60‎ Constructive set theory ‎ →‎The class of all subsets of a set
11:4511:45, 26 May 2024 diff hist +25‎ Constructive set theory ‎ →‎The class of all subsets of a set
11:4311:43, 26 May 2024 diff hist −23‎ Constructive set theory ‎ →‎The class of all subsets of a set
11:4011:40, 26 May 2024 diff hist +4‎ Constructive set theory ‎ →‎Intuitionistic Zermelo–Fraenkel

10:2110:21, 12 May 2024 diff hist +110‎ Diaconescu's theorem ‎ →‎Proof
10:1610:16, 12 May 2024 diff hist +30‎ Diaconescu's theorem ‎ →‎Proof

13:5613:56, 10 May 2024 diff hist +4‎ Abstract Wiener space ‎ →‎Cylinder set measure on {{mvar|H}} current
12:5612:56, 10 May 2024 diff hist +1‎ Constructive set theory ‎ →‎No universal set: Missing dot
12:5612:56, 10 May 2024 diff hist +32‎ Constructive set theory ‎ →‎No universal set
12:4112:41, 10 May 2024 diff hist +4‎ Constructive set theory ‎ →‎No universal set: Link to cumulative hierarchy
12:3412:34, 10 May 2024 diff hist +6‎ Constructive set theory ‎ →‎Separation Tag: Reverted
12:2812:28, 10 May 2024 diff hist +556‎ Constructive set theory ‎ →‎No universal set Tag: Reverted
12:1812:18, 10 May 2024 diff hist +249‎ Constructive set theory ‎ →‎Separation Tag: Reverted
12:0412:04, 10 May 2024 diff hist +71‎ Constructive set theory ‎ →‎Classes Tag: Reverted

14:5714:57, 5 May 2024 diff hist −22‎ Constructive set theory ‎ →‎Total functional relations
14:5114:51, 5 May 2024 diff hist −38‎ Constructive set theory ‎ →‎See also
14:4414:44, 5 May 2024 diff hist +1‎ Constructive set theory ‎ →‎No universal set
14:3914:39, 5 May 2024 diff hist −2‎ Constructive set theory ‎ →‎Classes
14:3814:38, 5 May 2024 diff hist +106‎ Constructive set theory ‎ →‎Separation
14:2714:27, 5 May 2024 diff hist +118‎ Constructive set theory ‎ →‎Equality
13:5813:58, 5 May 2024 diff hist −5‎ Constructive set theory ‎ →‎The class of all subsets of a set
13:5613:56, 5 May 2024 diff hist +4‎ Constructive set theory ‎ →‎Total functional relations: Link to partial function
13:5513:55, 5 May 2024 diff hist +117‎ Constructive set theory ‎ →‎Total functional relations
13:5213:52, 5 May 2024 diff hist +67‎ Subcountability ‎ →‎Subcountable and ω-productive are mutually exclusive

15:0215:02, 4 May 2024 diff hist +13‎ Constructive set theory ‎ →‎Exponentiation
15:0015:00, 4 May 2024 diff hist +50‎ Constructive set theory ‎ →‎Exponentiation
14:5114:51, 4 May 2024 diff hist +136‎ Constructive set theory ‎ →‎Exponentiation
14:3014:30, 4 May 2024 diff hist +205‎ Constructive set theory ‎ →‎Exponentiation
14:2214:22, 4 May 2024 diff hist +103‎ Subcountability ‎ →‎Subcountable and ω-productive are mutually exclusive
13:5713:57, 4 May 2024 diff hist −2‎ Constructive set theory ‎ →‎Analysis
13:5613:56, 4 May 2024 diff hist +212‎ Constructive set theory ‎ →‎Analysis
13:4313:43, 4 May 2024 diff hist 0‎ Constructive set theory ‎ →‎Exponentiation
13:4213:42, 4 May 2024 diff hist +12‎ Constructive set theory ‎ →‎Unions and countability
13:3313:33, 4 May 2024 diff hist +403‎ Constructive set theory ‎ →‎Exponentiation
12:5212:52, 4 May 2024 diff hist +426‎ Constructive set theory ‎ →‎Exponentiation

12:5912:59, 14 April 2024 diff hist +22‎ Intermediate logic ‎ →‎Properties and examples
12:5912:59, 14 April 2024 diff hist +85‎ Intermediate logic ‎ →‎Properties and examples: Link to Consequentia mirabilis
12:5412:54, 14 April 2024 diff hist +2‎ Constructive set theory ‎ →‎Indecomposability
12:5312:53, 14 April 2024 diff hist +6‎ Constructive set theory ‎ →‎Hereditarily finite sets
12:5012:50, 14 April 2024 diff hist +4‎ Constructive set theory ‎ →‎Hereditarily finite sets
12:4812:48, 14 April 2024 diff hist 0‎ Constructive set theory ‎ →‎Replacement

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