Michał R. Przybyłek

Generating author description...

All published works

Action	Title	Year	Authors
+	A note on encoding infinity in ZFA with applications to register automata	2023	Michał R. Przybyłek
+	On amenability of constraint satisfaction problems.	2020	Michał R. Przybyłek
+	Beyond sets with atoms: definability in first order logic.	2020	Michał R. Przybyłek
+	Beyond sets with atoms: definability in first order logic	2020	Michał R. Przybyłek
+	On amenability of constraint satisfaction problems	2020	Michał R. Przybyłek
+	A note on the complexity of a phaseless polynomial interpolation	2019	Michał R. Przybyłek Paweł Siedlecki
+	Logical systems II: Free semantics	2014	Michał R. Przybyłek
+	The other pullback lemma	2013	Michał R. Przybyłek
+	Logical systems I: Lambda calculi through discreteness	2013	Michał R. Przybyłek
+	Logical systems I: Lambda calculi through discreteness	2013	Michał R. Przybyłek
+	The other pullback lemma	2013	Michał R. Przybyłek

Common Coauthors

Coauthor	Papers Together
Paweł Siedlecki	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Locally Finite Constraint Satisfaction Problems	2015	Bartek Klin Eryk Kopczyński Joanna Ochremiak Szymon Toruńczyk	2
+	Yoneda Structures from 2-toposes	2007	Mark Weber	2
+	Basic concepts of enriched category theory	1982	G. M. Kelly	2
+	Sheaves in Geometry and Logic: A First Introduction to Topos Theory	2018	Saunders MacLane Galdós Ieke Moerdijk	2
+	Monoidal Bicategories and Hopf Algebroids	1997	Brian Day Ross Street	2
+	Combinatorial Set Theory : With a Gentle Introduction to Forcing	2018	Lorenz Halbeisen	2
+	Yoneda structures on 2-categories	1978	Ross Street R. F. C. Walters	2
+ PDF Chat	Fraïssé Limits, Ramsey Theory, and topological dynamics of automorphism groups	2005	Alexander S. Kechris Vladimir Pestov Stevo Todorčević	1
+	Boolean classifying topoi	1983	Andreas Blass Andre Scedrov	1
+ PDF Chat	Cosmoi of internal categories	1980	Ross Street	1
+	On the existence of pathological submeasures and the construction of exotic topological groups	1975	Wojchiech Herer Jens Peter Christensen	1
+	Comprehension categories and the semantics of type dependency	1993	Bart Jacobs	1
+	Variation through enrichment	1983	Renato Betti A. Carboni Ross Street R. F. C. Walters	1
+	Lattice Aspects of Radical Ideals and Choice Principles	1985	Bernhard Banaschewski Roswitha Harting	1
+	Fibrations and partial products in a 2-category	1993	Peter Johnstone	1
+	Prime elements from prime ideals	1985	Bernhard Banaschewski	1
+	Constraint Satisfaction with Countable Homogeneous Templates	2006	Manuel Bodirsky Jaroslav Nešetřil	1
+ PDF Chat	Decidability of Definability	2013	Manuel Bodirsky Michael Pinsker Todor Tsankov	1
+	Properties of dense and relative adjoint functors	1968	Friedrich Ulmer	1
+	A small complete category	1988	J. M. E. Hyland	1
+	General function spaces, products and continuous lattices	1986	John Isbell	1
+ PDF Chat	Categories for the Working Mathematician	1971	Saunders Mac Lane	1
+ PDF Chat	Representing topoi by topological groupoids	1998	Carsten Butz Ieke Moerdijk	1
+ PDF Chat	Nominal logic programming	2008	James Cheney Christian Urban	1
+	Strong regular and dense generators	1991	Reinhard Börger Walter Tholen	1
+	Phase retrieval: an overview of recent developments	2016	Kishore Jaganathan Yonina C. Eldar Babak Hassibi	1
+	Homomorphism Problems for First-Order Definable Structures	2016	Bartek Klin Sławomir Lasota Joanna Ochremiak Szymon Toruńczyk	1
+	Scalar and Vectorial mu-calculus with Atoms	2018	Bartek Klin Mateusz Łełyk	1
+ PDF Chat	Convenient categories of smooth spaces	2011	John C. Baez Alexander E. Hoffnung	1
+	Absolute value information for IBC problems	2019	Leszek Plaskota Paweł Siedlecki Henryk Woźniakowski	1
+	Beyond sets with atoms: definability in first order logic.	2020	Michał R. Przybyłek	1
+ PDF Chat	Information-based complexity	1989		1
+ PDF Chat	Partitions and permutation groups	2011	Andreas Blass	1
+ PDF Chat	Automata theory in nominal sets	2014	Mikołaj Bojańczyk Bartek Klin Sławomir Lasota	1
+	Phase Retrieval: An Overview of Recent Developments	2015	Kishore Jaganathan Yonina C. Eldar Babak Hassibi	1
+ PDF Chat	Topological semigroups and fixed points	1970	Theodore Mitchell	1
+ PDF Chat	Almost maximal ideals	1984	Peter A.S. Johnstone	1
+ PDF Chat	Kan extensions in Enriched Category Theory	1970	Eduardo J. Dubuc	1
+	Logical systems I: Lambda calculi through discreteness	2013	Michał R. Przybyłek	1
+ PDF Chat	On free actions, minimal flows, and a problem by Ellis	1998	Vladimir Pestov	1
+ PDF Chat	Model theory for metric structures	2008	Itaï Ben Yaacov Alexander Berenstein C. Ward Henson Alexander Usvyatsov	1
+ PDF Chat	Prime ideals yield almost maximal ideals	1987	Andreas Blass	1
+	Consequences of the Axiom of Choice	1998	Paul Howard Jean Rubin	1