Composition with Algebra at the Background - On a Question by Gurevich and Rabinovich on the Monadic Theory of Linear Orderings.

Thomas Colcombet

Type: Article

Publication Date: 2013-01-01

Citations: 4

Similar Works

Action	Title	Year	Authors
+	Monadic theory of order and topology, 1	1977	Yuri Gurevich
+	A Monadic Logic of Ordered Abelian Groups.	2020	George Metcalfe Olim Tuyt
+	Monadic theory of order and topology II	1979	Yuri Gurevich
+	An introduction to (co)algebra and (co)induction.	2012	Bart Jacobs Jan Rutten
+	Composition algebras and type 𝐺₂	2013	Alberto Elduque Mikhail Kochetov
+	On the monadic theory ofω 1 without A.C.	1976	Ami Litman
+	The completion monad and its algebra	1982	Sergio Salbany
+	Notes on composition algebras	2012	Jonathan I. Hall
+	Algebra and Calculus	2016	Ian Thompson
+	Algebras and Orders	1993	Ivo G. Rosenberg Gert Sabidussi
+	Composition algebras of the second kind	2007	A. T. Gaĭnov
+	Introduction to Algebra.	1984	William H. Gustafson Α. I. Kostrikin
+	Introduction to Algebra.	1967	H. E. Chrestenson Donald J. Lewis
+	Introduction to Algebra.	1967	R. B. Reisel Sam Perlis
+	Monadic decompositions	1989	Jiřı́ Adámek Horst Herrlich Walter Tholen
+	Monads and their Eilenberg-Moore algebras in functional analysis	1973	Zbigniew Semadeni
+	Composition algebras	2024
+	Composition algebras	2012	Adam M. Bincer
+	Notes on monadic logic. Part B: Complexity of linear orders in ZFC	1990	Saharon Shelah
+ PDF Chat	Kleene Algebra with Converse	2014	Paul Brunet Damien Pous

Action	Title	Year	Authors
+	An algebraic approach to MSO-definability on countable linear orderings.	2017	Olivier Carton Thomas Colcombet Gabriele Puppis
+ PDF Chat	AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS	2018	Olivier Carton Thomas Colcombet Gabriele Puppis

Action	Title	Year	Authors
+	Monadic theory of order and topology in ZFC	1982	Yuri Gurevich Saharon Shelah
+	Definability and undefinability with real order at the background	2000	Yuri Gurevich Alexander Rabinovich
+ PDF Chat	The Monadic Theory of Order	1975	Saharon Shelah