login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 59th year, we have over 358,000 sequences, and we’ve crossed 10,300 citations (which often say “discovered thanks to the OEIS”).

Other ways to Give
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A253949 Number of finite, negative, Archimedean, totally ordered monoids of size n (semi-groups with a neutral element that is also the top element). 2
1, 1, 1, 2, 8, 44, 333, 3543, 54954, 1297705, 47542371 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,4

COMMENTS

The terms have been computed using the algorithm described in the referenced papers.

LINKS

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

M. Petrík, GitLab repository with an implementation of the algorithm in Python 3

M. Petrík, Many-Valued Conjunctions. Habilitation thesis, Czech Technical University in Prague, Faculty of Electrical Engineering, Prague, Czech Republic. Submitted in 2020. Available at Czech Technical University Digital Library.

M. Petrík and Th. Vetterlein, Rees coextensions of finite tomonoids and free pomonoids. Semigroup Forum 99 (2019) 345-367. DOI: 10.1007/s00233-018-9972-z.

M. Petrík and Th. Vetterlein, Rees coextensions of finite, negative tomonoids. Journal of Logic and Computation 27 (2017) 337-356. DOI: 10.1093/logcom/exv047.

M. Petrík and Th. Vetterlein, Algorithm to generate finite negative totally ordered monoids. In: IPMU 2016: 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems. Eindhoven, Netherlands, June 20-24, 2016.

M. Petrík and Th. Vetterlein, Algorithm to generate the Archimedean, finite, negative tomonoids. In: Joint 7th International Conference on Soft Computing and Intelligent Systems and 15th International Symposium on Advanced Intelligent Systems. Kitakyushu, Japan, Dec. 3-6, 2014. DOI: 10.1109/SCIS-ISIS.2014.7044822.

Index entries for sequences related to monoids

CROSSREFS

Cf. A058129, A030453, A253948, A253950.

Sequence in context: A244430 A190818 A330444 * A336545 A126101 A308478

Adjacent sequences:  A253946 A253947 A253948 * A253950 A253951 A253952

KEYWORD

nonn,hard,more

AUTHOR

Milan Petrík, Jan 20 2015

EXTENSIONS

a(11) from Milan Petrík, May 09 2021

STATUS

approved

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

License Agreements, Terms of Use, Privacy Policy. .

Last modified November 26 11:03 EST 2022. Contains 358357 sequences. (Running on oeis4.)