login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A262546 Number of Post functions of n variables which fail to satisfy Post's second condition. 1
1, 1, 4, 16, 544 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,3

LINKS

Table of n, a(n) for n=1..5.

R. F. Wheeler, Complete propositional connectives, Z. Math. Logik Grundlagen Math. 7 1961 185-198. [Annotated scanned copy]

R. F. Wheeler, An asymptotic formula for the number of complete propositional connectives, Z. Math. Logik Grundlagen Math. 8 (1962),1-4. [Annotated scanned copy]

CROSSREFS

Equals A002857 - A002543.

Sequence in context: A061580 A037976 A013138 * A013006 A013001 A218644

Adjacent sequences:  A262543 A262544 A262545 * A262547 A262548 A262549

KEYWORD

nonn,more

AUTHOR

N. J. A. Sloane, Oct 06 2015

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified February 23 08:00 EST 2019. Contains 320420 sequences. (Running on oeis4.)