Related changes
Jump to navigation
Jump to search
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
18 May 2022
|
|
18:09 | Book:Raymond M. Smullyan/Set Theory and the Continuum Problem/Revised Edition 4 changes history −608 [Lord Farin; Prime.mover (3×)] | |||
| m |
|
18:09 (cur | prev) +43 Prime.mover talk contribs | |||
| m |
|
17:50 (cur | prev) −419 Prime.mover talk contribs | |||
|
|
07:20 (cur | prev) −272 Lord Farin talk contribs | ||||
| m |
|
05:52 (cur | prev) +40 Prime.mover talk contribs | |||
17 May 2022
| m 22:05 | Book:Raymond M. Smullyan/Set Theory and the Continuum Problem/Revised Edition diffhist +72 Prime.mover talk contribs | ||||
16 May 2022
| m 21:20 | Book:Raymond M. Smullyan/Set Theory and the Continuum Problem/Revised Edition diffhist +307 Prime.mover talk contribs | ||||
15 May 2022
|
|
m 20:45 | Book:Gaisi Takeuti/Introduction to Axiomatic Set Theory 2 changes history +9 [Prime.mover (2×)] | |||
| m |
|
20:45 (cur | prev) +10 Prime.mover talk contribs | |||
| m |
|
16:52 (cur | prev) −1 Prime.mover talk contribs | |||
13 May 2022
|
|
16:44 | Book:Raymond M. Smullyan/Set Theory and the Continuum Problem/Revised Edition 6 changes history −383 [Prime.mover (6×)] | |||
| m |
|
16:44 (cur | prev) −4 Prime.mover talk contribs | |||
| m |
|
16:44 (cur | prev) −4 Prime.mover talk contribs | |||
| m |
|
08:20 (cur | prev) −20 Prime.mover talk contribs | |||
| m |
|
07:45 (cur | prev) −23 Prime.mover talk contribs | |||
|
|
06:33 (cur | prev) +101 Prime.mover talk contribs | ||||
| m |
|
06:25 (cur | prev) −433 Prime.mover talk contribs | |||
|
|
07:48 | Definition:Class (Class Theory)/Zermelo-Fraenkel 2 changes history −93 [Lord Farin (2×)] | |||
|
|
07:48 (cur | prev) −113 Lord Farin talk contribs You wouldn't need the Class Comprehension Axiom because it is a definitional abbreviation only. CCA is part of NBG theory | ||||
|
|
07:45 (cur | prev) +20 Lord Farin talk contribs As we are making a formal definition, we should use the formal concepts and not the intuitive concepts that they represent. Hence Definition:WFF of Predicate Logic is employed. | ||||