Beyond sets with atoms: definability in first order logic.

Michał R. Przybyłek

Type: Preprint

Publication Date: 2020-03-10

Citations: 1

Locations

arXiv (Cornell University) - View

Similar Works

Action	Title	Year	Authors
+	Beyond sets with atoms: definability in first order logic	2020	Michał R. Przybyłek
+ PDF Chat	Fragments of First-Order Logic over Infinite Words	2010	Volker Diekert Manfred Kufleitner
+	Fragments of first-order logic over infinite words	2009	Volker Diekert Manfred Kufleitner
+	Fragments of First-Order Logic over Infinite Words.	2009	Volker Diekert Manfred Kufleitner
+	Finite automata for languages of combinatorial interest: An order theoretical point of view	1989	Rodica Simion
+ PDF Chat	Finitisation in Bounded Arithmetic	1994	Søren Riis
+	Logic in Finite Structures: Definability, Complexity, and Randomness	2006	Scott Weinstein
+	Level Two of the Quantifier Alternation Hierarchy over Infinite Words	2015	Manfred Kufleitner Tobias Walter
+	Definability in classes of finite structures	2011	Dugald Macpherson Charles Steinhorn
+	First-Order logic and its Infinitary Quantifier Extensions over Countable Words	2021	Bharat Adsul Saptarshi Sarkar A. V. Sreejith
+	Finitely Generated Structures Computable in Polynomial Time	2022	P. E. Alaev
+	Level Two of the Quantifier Alternation Hierarchy over Infinite Words	2015	Manfred Kufleitner Tobias Walter
+	NON-FINITE AXIOMATIZABILITY (Generic structures and their applications)	2004	Byunghan Kim
+	Finite Structures	1972	Gerald Berman K.D. Fryer
+	Finite sets	1971	Thomas Jech
+	A Background on Finite Sets	2016	Robert Harper
+	A Marica-Sch�nheim theorem for an infinite sequence of finite sets	1982	Victor J. Baston
+ PDF Chat	Some problems in automata theory which depend on the models of set theory	2011	Olivier Finkel
+ PDF Chat	Concerning definable sets	1955	Norman Routledge
+	Definable Filters in the Structure of Bounded Turing Reductions	2008	Angsheng Li Weilin Li Yicheng Pan Linqing Tang

Works That Cite This (1)

Action	Title	Year	Authors
+	On amenability of constraint satisfaction problems.	2020	Michał R. Przybyłek

Works Cited by This (9)

Action	Title	Year	Authors
+ PDF Chat	Locally Finite Constraint Satisfaction Problems	2015	Bartek Klin Eryk Kopczyński Joanna Ochremiak Szymon Toruńczyk
+	Sheaves in Geometry and Logic: A First Introduction to Topos Theory	2018	Saunders MacLane Galdós Ieke Moerdijk
+ PDF Chat	Model theory for metric structures	2008	Itaï Ben Yaacov Alexander Berenstein C. Ward Henson Alexander Usvyatsov
+	Boolean classifying topoi	1983	Andreas Blass Andre Scedrov
+ PDF Chat	Representing topoi by topological groupoids	1998	Carsten Butz Ieke Moerdijk
+	Combinatorial Set Theory : With a Gentle Introduction to Forcing	2018	Lorenz Halbeisen
+ PDF Chat	Nominal logic programming	2008	James Cheney Christian Urban
+	Scalar and Vectorial mu-calculus with Atoms	2018	Bartek Klin Mateusz Łełyk
+ PDF Chat	Automata theory in nominal sets	2014	Mikołaj Bojańczyk Bartek Klin Sławomir Lasota