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)/ZermeloFraenkel 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. 