cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A368532 Minimal numbers whose binary indices of binary indices contradict a strict version of the axiom of choice.

Table of values

n a(n)
1 7
2 25
3 30
4 42
5 45
6 51
7 53
8 54
9 60
10 75
11 77
12 78
13 83
14 85
15 86
16 90
17 92
18 99
19 101
20 102
21 105
22 108
23 113
24 114
25 116
26 120
27 385
28 390
29 408
30 428
31 434
32 436
33 458
34 460
35 466
36 468
37 482
38 484
39 488
40 496
41 642
42 645
43 668
44 680
45 689
46 692
47 713
48 716
49 721
50 724
51 728
52 737
53 740
54 752
55 771
56 773

List of values

[7, 25, 30, 42, 45, 51, 53, 54, 60, 75, 77, 78, 83, 85, 86, 90, 92, 99, 101, 102, 105, 108, 113, 114, 116, 120, 385, 390, 408, 428, 434, 436, 458, 460, 466, 468, 482, 484, 488, 496, 642, 645, 668, 680, 689, 692, 713, 716, 721, 724, 728, 737, 740, 752, 771, 773]

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.