Jump to content

Axiom of adjunction: Revision history

View logs for this page (view filter log)

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 16:1116:11, 3 June 2024‎ Wizmut talk contribs‎ 4,040 bytes −75‎ shorten short description undo

curprev 16:0616:06, 2 June 2024‎ Wiiformii talk contribs‎ m 4,115 bytes +122‎ Importing Wikidata short description: "Axiom that for any two sets 𝑥, 𝑦 there is a set 𝑥∪{𝑦} given by adjoining 𝑦 to 𝑥" undo Tag: Shortdesc helper
curprev 15:1915:19, 2 June 2024‎ Silvermatsu talk contribs‎ 3,993 bytes +103‎ →‎References: | Add: publisher, date, title, authors 1-2. | Use this tool. Report bugs. | #UCB_Gadget undo

curprev 06:0206:02, 4 March 2024‎ Jlwoodwa talk contribs‎ m 3,890 bytes +23‎ →‎References: {{refbegin}} undo

curprev 07:0807:08, 29 January 2023‎ OAbot talk contribs‎ m 3,985 bytes +19‎ Open access bot: doi added to citation with #oabot. undo

curprev 18:1618:16, 18 January 2023‎ 2601:547:501:8f90:5d69:c103:478d:b16e talk‎ 3,966 bytes +1,375‎ Added more results undo

curprev 17:1317:13, 20 June 2022‎ SamanthaNguyen talk contribs‎ 2,591 bytes +39‎ →‎References: + navboxes undo Tag: 2017 wikitext editor

curprev 19:0319:03, 28 November 2021‎ GünniX talk contribs‎ m 2,552 bytes +13‎ Reflist undo Tag: AWB

curprev 03:5903:59, 24 November 2021‎ 2001:569:5179:f000:305b:b1a2:bf20:c1b5 talk‎ 2,539 bytes +652‎ Added paper that proves empty set and adjunction are sufficient to interpret Robinson arithmetic undo

curprev 22:1722:17, 13 April 2020‎ OAbot talk contribs‎ m 1,887 bytes +16‎ Open access bot: doi added to citation with #oabot. undo

curprev 20:5220:52, 14 November 2018‎ Texvc2LaTeXBot talk contribs‎ m 1,871 bytes +1‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

curprev 12:5312:53, 16 May 2018‎ Rjwilmsi talk contribs‎ m 1,870 bytes +30‎ →‎References: Journal cites, added 1 DOI undo Tag: AWB

curprev 22:4222:42, 22 June 2017‎ CBM talk contribs‎ m 1,840 bytes +9‎ Copyediting in citations - nonbreaking spaces and en dashes (manually reviewed) undo

curprev 05:0105:01, 29 March 2017‎ 24.85.232.10 talk‎ 1,831 bytes +18‎ No edit summary undo

curprev 19:2819:28, 25 September 2014‎ 50.174.221.28 talk‎ 1,813 bytes +1‎ Fix for mathjax - \exist -> \exists undo

curprev 18:0818:08, 9 September 2014‎ R.e.b. talk contribs‎ 1,812 bytes +28‎ →‎top: Clean up undo
curprev 18:0718:07, 9 September 2014‎ R.e.b. talk contribs‎ 1,784 bytes +177‎ →‎top: Expanding article undo
curprev 18:0318:03, 9 September 2014‎ R.e.b. talk contribs‎ 1,607 bytes +248‎ →‎References: Adding/improving reference(s) undo

curprev 05:0305:03, 6 September 2014‎ R.e.b. talk contribs‎ m 1,359 bytes 0‎ →‎top: Spelling/grammar correction undo
curprev 04:5904:59, 6 September 2014‎ R.e.b. talk contribs‎ 1,359 bytes +9‎ →‎top: Adding/improving reference(s) undo

curprev 16:3716:37, 25 August 2014‎ Wcherowi talk contribs‎ 1,350 bytes +20‎ stub undo

curprev 17:3117:31, 15 August 2014‎ Michael Hardy talk contribs‎ 1,330 bytes +33‎ No edit summary undo

Retrieved from "https://en.wikipedia.org/wiki/Axiom_of_adjunction"