Counting finite topologies

Eldar Fischer, Johann A. Makowsky

Type: Article

Publication Date: 2024-03-22

Citations: 0

DOI: https://doi.org/10.54550/eca2024v4s4r27

Similar Works

Action	Title	Year	Authors
+	Extensions and Limits of the Specker-Blatter Theorem	2022	Eldar Fischer Johann A. Makowsky
+ PDF Chat	EXTENSIONS AND LIMITS OF THE SPECKER–BLATTER THEOREM	2024	Eldar Fischer Johann A. Makowsky
+ PDF Chat	Cardinality Quantifiers in MLO over Trees	2009	Vince Bárány Łukasz Kaiser Alexander Rabinovich
+	Counting Formulas	2018	John Scherk
+	Automata column	2015	Mikołaj Bojańczyk
+	Counting, and Transfinite Arithmetic	1970	H. B. Griffiths P. J. Hilton
+ PDF Chat	Counting partial types in simple theories	2000	Olivier Lessmann
+ PDF Chat	Two-variable Logic with Counting and a Linear Order	2016	Witold Charatonik Piotr Witkowski
+	Mathematical logic	2007	Ian Chiswell Wilfrid Hodges
+	The Modular Theory of Polyadic Numbers	1921	Albert A. Bennett
+	Connecting Decidability and Complexity for MSO Logic	2017	Michał Skrzypczak
+	Omitting Types	2019	Jonathan Kirby
+	Counting	2004	W. D. Wallis
+	Models of arithmetic: quantifiers and complexity	2017	Julia F. Knight
+	Simple monadic theories and partition width	2011	Achim Blumensath
+	Formalism	2022	Eugenia Cheng
+	Monadic logic and löwenheim numbers	1985	Saharon Shelah
+	Numbers	2014	Richard Bird
+	A separation theorem for simple theories	2018	M. Malliaris Saharon Shelah
+ PDF Chat	Unary counting quantifiers do not increase the expressive power of Presburger aritmetic: an alternative shorter proof	2024	Christian Choffrut

Action	Title	Year	Authors

Action	Title	Year	Authors
+	Linear Recurrence Relations for Graph Polynomials	2008	Eldar Fischer Johann A. Makowsky
+	Algebraic Topology of Finite Topological Spaces and Applications	2011	Jonathan Ariel Barmak
+ PDF Chat	On the number of topologies definable for a finite set	1968	A. Shafaat
+ PDF Chat	On the computer enumeration of finite topologies	1967	John Evans Frank Harary M. Stuart Lynn
+	Enumeration of finite topologies	1982	Z. I. Borevich
+	Catalan Numbers with Applications	2008	Thomas Koshy
+ PDF Chat	Application of logic to combinatorial sequences and their recurrence relations	2011	Eldar Fischer Tomer Kotek Johann A. Makowsky
+	Application of Logic and Combinatorics to Enumeration Problems	1990	E Specker
+ PDF Chat	Restricted r-Stirling numbers and their combinatorial applications	2018	Beáta Bényi Miguel A. Méndez Jósé L. Ramírez Tanay Wakhare
+	An Introduction to Catalan Numbers	2015	Steven Roman