Aczel's anti-foundation axiom: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 07:1707:17, 6 March 2024‎ Jlwoodwa talk contribs‎ m 2,694 bytes +22‎ →‎References: {{refbegin}} undo

curprev 19:0219:02, 3 September 2022‎ Mgkrupa talk contribs‎ 2,672 bytes +48‎ Added {{Mathematical logic}} undo

curprev 13:1413:14, 28 March 2022‎ Susy 11 talk contribs‎ 2,624 bytes +6‎ unique -> exactly one (see talk page) undo

curprev 04:0004:00, 18 July 2021‎ Mr248 talk contribs‎ 2,618 bytes +74‎ Adding short description: "Axiom of set theory proposed by Peter Aczel in 1988" (Shortdesc helper) undo

curprev 15:4315:43, 13 January 2021‎ Monkbot talk contribs‎ m 2,544 bytes −24‎ Task 18 (cosmetic): eval 3 templates: hyphenate params (3×); del |ref=harv (1×); del |url-status= (1×); undo Tag: AWB

curprev 00:0000:00, 19 December 2019‎ InternetArchiveBot talk contribs‎ 2,568 bytes −95‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 22:5522:55, 3 October 2019‎ Monkbot talk contribs‎ m 2,663 bytes −2‎ →‎References: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

curprev 05:4605:46, 21 February 2019‎ Citation bot talk contribs‎ m 2,665 bytes +29‎ Alter: isbn. Add: citeseerx. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 23:0623:06, 1 October 2018‎ InternetArchiveBot talk contribs‎ 2,636 bytes +172‎ Rescuing 1 sources and tagging 0 as dead. #IABot (v2.0beta9) undo

curprev 12:3812:38, 21 December 2017‎ Ernsts talk contribs‎ m 2,464 bytes +60‎ de (no main article, just section of Fundierungsaxiom = foundation axiom) undo

curprev 22:2422:24, 22 April 2017‎ Nicolas Perrault III talk contribs‎ 2,404 bytes +31‎ No edit summary undo
curprev 22:1922:19, 22 April 2017‎ Trovatore talk contribs‎ 2,373 bytes −35‎ Undid revision 776726570 by Nicolas Perrault III (talk) Not strictly true; it does have one inline cite. It's Harvard-style (parenthetical) rather than a footnote. undo
curprev 22:1622:16, 22 April 2017‎ Nicolas Perrault III talk contribs‎ 2,408 bytes +35‎ No edit summary undo

curprev 02:0402:04, 30 June 2016‎ Tom.Reding talk contribs‎ m 2,373 bytes −21‎ →‎References: Rem stub tag(s) (class = non-stub & non-list) using AWB undo

curprev 01:1201:12, 30 January 2015‎ Henning Makholm talk contribs‎ 2,394 bytes −102‎ →‎Accessible pointed graphs: actually the directed 2-cycle ''must'' correspond to the Quine atom too, because decorating both vertices with the Quine atom is a valid solution to x={{x}} and the AFA requires that solutions are unique. undo

curprev 22:2322:23, 20 August 2014‎ 176.83.136.110 talk‎ 2,496 bytes −1‎ No edit summary undo

curprev 19:2819:28, 13 May 2014‎ Tetracube talk contribs‎ m 2,497 bytes −4‎ WP:overlink undo

curprev 01:2501:25, 7 December 2013‎ David Eppstein talk contribs‎ 2,501 bytes +309‎ copyedit lead, clean up refs, move see-also links into main text undo

curprev 13:5313:53, 20 June 2013‎ FrescoBot talk contribs‎ m 2,192 bytes −27‎ Bot: link syntax/spacing and minor changes undo

curprev 14:4714:47, 24 May 2013‎ EricP talk contribs‎ m 2,219 bytes +29‎ + pointer to Accessible_pointed_graph which will hopefully expand soon undo

curprev 14:3814:38, 16 March 2013‎ Addbot talk contribs‎ m 2,190 bytes −32‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q2874789 undo

curprev 20:5520:55, 3 March 2013‎ Bg9989 talk contribs‎ 2,222 bytes −26‎ removed Category:Graph theory using HotCat Do not think it is needed, as it appears to be overcategorization undo
curprev 20:4120:41, 3 March 2013‎ Bg9989 talk contribs‎ 2,248 bytes +29‎ added Category:Directed graphs using HotCat (This axiom is of directed graphs) undo

curprev 16:5516:55, 21 August 2011‎ Headbomb talk contribs‎ m 2,219 bytes −4‎ →‎References: Various citation cleanup (including MR tyding up), replaced: |id={{MR|0940014}} → |mr=0940014 using AWB undo

curprev 19:0419:04, 16 May 2011‎ Dominus talk contribs‎ 2,223 bytes +19‎ link Peter Aczel in lede undo

curprev 07:4507:45, 23 February 2011‎ RjwilmsiBot talk contribs‎ m 2,204 bytes +3‎ →‎References: Per WP:ISBN formatted 1 ISBNs using AWB (7609) undo

curprev 22:5622:56, 30 October 2010‎ Greenrd talk contribs‎ m 2,201 bytes +2‎ grammar undo

curprev 02:3602:36, 26 May 2010‎ Citation bot 1 talk contribs‎ m 2,199 bytes +33‎ Citations: [Pu151β]Added: ref, postscript. Unified citation types. You can use this bot yourself! Report bugs here. undo

curprev 13:2513:25, 26 April 2010‎ Hans Adler talk contribs‎ 2,166 bytes 0‎ refine stub undo

curprev 09:4909:49, 22 February 2010‎ 64.120.168.149 talk‎ 2,166 bytes +21‎ No edit summary undo

curprev 23:2823:28, 7 February 2010‎ CBM talk contribs‎ 2,145 bytes −16‎ →‎Accessible pointed graphs: better link undo
curprev 23:2723:27, 7 February 2010‎ CBM talk contribs‎ 2,161 bytes +638‎ →‎[[WP:LEAD|Lede]]: expand undo

curprev 13:2613:26, 12 April 2009‎ 131.111.24.210 talk‎ 1,523 bytes +7‎ No edit summary undo
curprev 13:2513:25, 12 April 2009‎ 131.111.24.210 talk‎ 1,516 bytes +12‎ No edit summary undo

curprev 09:0509:05, 10 November 2008‎ Kluto~enwiki talk contribs‎ 1,504 bytes +16‎ No edit summary undo

curprev 07:4607:46, 1 November 2008‎ 62.98.86.162 talk‎ 1,488 bytes 0‎ No edit summary undo
curprev 07:4507:45, 1 November 2008‎ 62.98.86.162 talk‎ 1,488 bytes −11‎ No edit summary undo

curprev 07:1607:16, 20 September 2008‎ Salix alba talk contribs‎ 1,499 bytes +18‎ fix link to set (mathematics) using AWB undo

curprev 15:0415:04, 13 March 2008‎ Giftlite talk contribs‎ 1,481 bytes +23‎ →‎References: alnk undo

curprev 05:2605:26, 12 March 2008‎ R.e.b. talk contribs‎ 1,458 bytes +295‎ ref undo

curprev 02:0402:04, 14 December 2007‎ Michael Slone talk contribs‎ 1,163 bytes +112‎ add a sentence to suggest why this is called the anti-foundation axiom undo

curprev 00:2400:24, 4 May 2007‎ Dominus talk contribs‎ 1,051 bytes +1‎ correction undo

curprev 19:2719:27, 30 March 2007‎ Epsilon0 talk contribs‎ m 1,050 bytes +32‎ →‎References: link to fr undo

curprev 03:3403:34, 18 January 2007‎ David Eppstein talk contribs‎ m 1,018 bytes +5‎ stub sorting undo

curprev 05:2005:20, 16 January 2007‎ JRSpriggs talk contribs‎ 1,013 bytes +10‎ →‎References: change category Set theory to Category:Axioms of set theory undo
curprev 05:1805:18, 16 January 2007‎ JRSpriggs talk contribs‎ 1,003 bytes +34‎ see also Non-well-founded set theory undo

curprev 11:4711:47, 15 January 2007‎ The Anome talk contribs‎ 969 bytes +69‎ == See also == undo
curprev 11:4411:44, 15 January 2007‎ The Anome talk contribs‎ 900 bytes +6‎ Category:Graph theory undo
curprev 11:4311:43, 15 January 2007‎ The Anome talk contribs‎ 894 bytes +45‎ +cats undo
curprev 11:1411:14, 15 January 2007‎ Flyingtoaster1337 talk contribs‎ 849 bytes +849‎ create {{math-stub}}

6 March 2024

3 September 2022

28 March 2022

18 July 2021

13 January 2021

19 December 2019

3 October 2019

21 February 2019

1 October 2018

21 December 2017

22 April 2017

30 June 2016

30 January 2015

20 August 2014

13 May 2014

7 December 2013

20 June 2013

24 May 2013

16 March 2013

3 March 2013

21 August 2011

16 May 2011

23 February 2011

30 October 2010

26 May 2010

26 April 2010

22 February 2010

7 February 2010

12 April 2009

10 November 2008

1 November 2008

20 September 2008

13 March 2008

12 March 2008

14 December 2007

4 May 2007

30 March 2007

18 January 2007

16 January 2007

15 January 2007