Definable real number: 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 02:5502:55, 9 April 2024‎ Closed Limelike Curves talk contribs‎ 10,882 bytes +24‎ →‎See also undo Tag: Visual edit

curprev 00:3100:31, 28 January 2024‎ Pustam.EGR talk contribs‎ 10,858 bytes +68‎ No edit summary undo Tags: Mobile edit Mobile app edit Android app edit

curprev 04:2804:28, 4 January 2024‎ Citation bot talk contribs‎ 10,790 bytes +18‎ Add: doi-access. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 27/98 undo

curprev 23:3023:30, 19 December 2023‎ K Smeltz talk contribs‎ 10,772 bytes +4‎ →‎Real algebraic numbers undo

curprev 18:5018:50, 11 January 2023‎ David Eppstein talk contribs‎ 10,768 bytes +5‎ Undid revision 1132985103 by C7XWiki (talk) confuses definability within the model and definability in the universe, in a way that makes it look self-contradictory; also, misorders the references undo Tag: Undo
curprev 17:5017:50, 11 January 2023‎ C7XWiki talk contribs‎ 10,763 bytes −5‎ Might fit better here, if it's in contrast to models containing uncountably many real numbers. →‎Definability in models of ZFC undo Tag: Reverted

curprev 10:2410:24, 1 December 2022‎ LIUC.Mariarosa03 talk contribs‎ 10,768 bytes +4‎ I added a link related to another wiki page →‎Real algebraic numbers undo Tag: Visual edit

curprev 05:1905:19, 2 November 2022‎ Citation bot talk contribs‎ 10,764 bytes +41‎ Add: s2cid, page. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 292/1877 undo

curprev 07:4907:49, 27 June 2022‎ PointlessUsername talk contribs‎ 10,723 bytes +4‎ →‎See also undo Tag: Visual edit

curprev 21:3121:31, 6 August 2021‎ 8d1h talk contribs‎ m 10,719 bytes +4‎ →‎Definability in arithmetic: Add link undo

curprev 21:2421:24, 5 July 2021‎ 173.75.33.194 talk‎ 10,715 bytes +1‎ →‎Real algebraic numbers undo
curprev 21:2321:23, 5 July 2021‎ 173.75.33.194 talk‎ 10,714 bytes −25‎ No edit summary undo
curprev 21:1721:17, 5 July 2021‎ 173.75.33.194 talk‎ 10,739 bytes −9‎ No edit summary undo
curprev 07:3407:34, 5 July 2021‎ OAbot talk contribs‎ m 10,748 bytes +19‎ Open access bot: arxiv added to citation with #oabot. undo

curprev 01:0901:09, 3 July 2021‎ David Eppstein talk contribs‎ 10,729 bytes +449‎ math formatting undo
curprev 00:5800:58, 3 July 2021‎ David Eppstein talk contribs‎ 10,280 bytes +48‎ There isn't much justification here for having separate footnotes and full references; just put the full ref into the footnote using list-defined refs; other minor ref cleanups undo

curprev 22:3022:30, 2 July 2021‎ Elwoz talk contribs‎ 10,232 bytes −19‎ I deleted the last external link but forgot to remove the section header :facepalm: undo
curprev 22:2822:28, 2 July 2021‎ Elwoz talk contribs‎ m 10,251 bytes −4‎ - weasel word undo
curprev 22:2722:27, 2 July 2021‎ Elwoz talk contribs‎ 10,255 bytes −426‎ Remove hatnote -- all references have been converted. Promote Tsirelson 2020 to an actual reference. Remove unnecessary citation of Turing 1938 and clean up {{citation}} usage. undo

curprev 12:5012:50, 1 July 2021‎ Hellacioussatyr talk contribs‎ 10,681 bytes −9‎ →‎References undo Tag: 2017 wikitext editor

curprev 03:1803:18, 28 March 2021‎ JayBeeEll talk contribs‎ m 11,135 bytes +2‎ rv undo

curprev 20:0120:01, 26 March 2021‎ ToddyShake talk contribs‎ 11,133 bytes +3‎ No edit summary undo
curprev 20:0120:01, 26 March 2021‎ ToddyShake talk contribs‎ 11,130 bytes −2‎ Improvements undo
curprev 19:5919:59, 26 March 2021‎ ToddyShake talk contribs‎ 11,132 bytes 0‎ No edit summary undo

curprev 06:0906:09, 27 January 2021‎ Monkbot talk contribs‎ m 11,132 bytes +2‎ Task 18 (cosmetic): eval 5 templates: hyphenate params (2×); undo Tag: AWB

curprev 17:0217:02, 25 November 2020‎ Citation bot talk contribs‎ 11,130 bytes +17‎ Add: s2cid, author pars. 1-1. Removed parameters. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Suggested by Anas1712 | Category:Articles needing footnote reformatting | via #UCB_Category 57/254 undo

curprev 23:3223:32, 19 November 2020‎ Jonesey95 talk contribs‎ 11,113 bytes +123‎ format footnotes template undo

curprev 17:1417:14, 10 September 2020‎ David Eppstein talk contribs‎ 10,990 bytes −21‎ Undid revision 977729683 by GünniX (talk) inconsistent with established reference style for this article, better just to inline the note which is not in any case a reference and does not belong in the references section undo
curprev 16:3016:30, 10 September 2020‎ GünniX talk contribs‎ m 11,011 bytes +13‎ Reflist undo Tag: AWB

curprev 11:1111:11, 7 September 2020‎ Jochen Burghardt talk contribs‎ 10,998 bytes +312‎ →‎top: mention that most reals are undefinable, no matter which formalisim is used undo
curprev 11:0111:01, 7 September 2020‎ Jochen Burghardt talk contribs‎ 10,686 bytes +34‎ →‎Constructible numbers: chg ordinary wikilink to ((main article)) tag undo

curprev 18:4818:48, 23 July 2020‎ John of Reading talk contribs‎ m 10,652 bytes −1‎ →‎Real algebraic numbers: Typo fixing, replaced: an real → a real undo Tag: AWB

curprev 10:0910:09, 25 February 2020‎ 134.76.81.32 talk‎ 10,653 bytes 0‎ →‎Real Algebraic numbers undo
curprev 10:0810:08, 25 February 2020‎ 134.76.81.32 talk‎ 10,653 bytes +29‎ →‎Algebraic numbers: As the article for "algebraic numbers" on wiki clearly states that algebraic numbers are complex numbers, it was necessary to clarify that this chapter is about real algebraic numbers only undo

curprev 23:3723:37, 15 December 2019‎ Finnusertop talk contribs‎ m 10,624 bytes +47‎ →‎top: {{Use Harvard referencing|date=December 2019}} undo

curprev 19:3919:39, 10 August 2019‎ Bender235 talk contribs‎ m 10,577 bytes −99‎ No edit summary undo

curprev 19:1719:17, 15 March 2019‎ Tsirel talk contribs‎ 10,676 bytes +144‎ →‎References: A kind of self-promotion; feel free to revert undo

curprev 06:1506:15, 11 January 2019‎ Newone talk contribs‎ 10,532 bytes +18‎ →‎References undo

curprev 14:0214:02, 2 September 2018‎ Robin S talk contribs‎ 10,514 bytes −2‎ →‎Definability in arithmetic: correction: "[a real is] arithmetical [if and only if its Dedekind cut is at level <math>\Delta^0_1</math> of the arithmetical hierarchy]" -> "computable" undo

curprev 17:2217:22, 10 April 2018‎ CBM talk contribs‎ 10,516 bytes +4‎ →‎Computable real numbers: link Turing undo
curprev 17:2117:21, 10 April 2018‎ CBM talk contribs‎ 10,512 bytes +16‎ →‎Algebraic numbers: c/e undo

9 April 2024

28 January 2024

4 January 2024

19 December 2023

11 January 2023

1 December 2022

2 November 2022

27 June 2022

6 August 2021

5 July 2021

3 July 2021

2 July 2021

1 July 2021

23 May 2021

28 March 2021

26 March 2021

27 January 2021

25 November 2020

19 November 2020

10 September 2020

7 September 2020

23 July 2020

25 February 2020

15 December 2019

10 August 2019

15 March 2019

11 January 2019

2 September 2018

10 April 2018