[go: up one dir, main page]

login
Revision History for A020549 (Bold, blue-underlined text is an addition; faded, red-underlined text is a deletion.)

Showing entries 1-10 | older changes
a(n) = (n!)^2 + 1.
(history; published version)
#45 by Joerg Arndt at Wed Aug 21 11:29:38 EDT 2019
STATUS

reviewed

approved

#44 by Michel Marcus at Wed Aug 21 11:27:39 EDT 2019
STATUS

proposed

reviewed

#43 by Michael De Vlieger at Wed Aug 21 11:14:21 EDT 2019
STATUS

editing

proposed

#42 by Michael De Vlieger at Wed Aug 21 11:14:19 EDT 2019
LINKS

Apoloniusz Tyszka, <a href="https://philarchive.org/archive/TYSDASv56">On ZFC-formulae phi(x) for which we know a non-negative integer n such that max({x, element of N, phi(x)}) <= n if the set {x, element of N, phi(x)} is finite</a>, 2019.

STATUS

approved

editing

#41 by Bruno Berselli at Wed May 22 03:36:32 EDT 2019
STATUS

reviewed

approved

#40 by Michel Marcus at Wed May 22 01:21:36 EDT 2019
STATUS

proposed

reviewed

#39 by Michael De Vlieger at Tue May 21 22:21:57 EDT 2019
STATUS

editing

proposed

#38 by Michael De Vlieger at Tue May 21 22:21:54 EDT 2019
LINKS

Apoloniusz Tyszka, <a href="https://doi.org/10.13140/RG.2.2.28996.68486">On sets X, subset of N, whose finiteness implies that we know an algorithm which for every n, element of N, decides the inequality max (X) < n</a>, (2019).

STATUS

approved

editing

#37 by Jon E. Schoenfield at Mon Sep 04 01:31:42 EDT 2017
STATUS

proposed

approved

#36 by Jon E. Schoenfield at Mon Sep 04 01:31:32 EDT 2017
STATUS

editing

proposed