Wieslaw Kubis

dblp:73/3465 · DBLP profile ↗
← Back
6ranked-venue papers
3as first author
3since 2021 · last 2026
0000-0002-7241-2528ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 6 · 3 first-author · 3 since 2021
YearPublicationVenuePosition
2026 Uncountable homogeneous structures
Adam Bartos, Wieslaw Kubis
Ann. Pure Appl. Log.2
2023 Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces
abstract
Inspired by classic work of Wallman and more recent work of Jung-Kegelmann-Moshier and Vickers , we show how to encode general subbases of stably locally compact spaces via certain entailment relations. We further build this up to a categorical duality encompassing the classic Priestley-Stone duality and its various extensions to stably locally compact spaces by Shirota, De Vries, Hofmann-Lawson (in the stable case), Jung-Sünderhauf, Hansoul-Poussart, Bezhanishvili-Jansana, van Gool and Bice-Starling.
Tristan Bice, Wieslaw Kubis
Theor. Comput. Sci.2
2021 Games with finitely generated structures
Adam Krawczyk, Wieslaw Kubis
Ann. Pure Appl. Log.2
2020 Homogeneous Structures with nonuniversal automorphism Groups
abstract
Abstract We present three examples of countable homogeneous structures (also called Fraïssé limits ) whose automorphism groups are not universal, namely, fail to contain isomorphic copies of all automorphism groups of their substructures. Our first example is a particular case of a rather general construction on Fraïssé classes, which we call diversification , leading to automorphism groups containing copies of all finite groups. Our second example is a special case of another general construction on Fraïssé classes, the mixed sums , leading to a Fraïssé class with all finite symmetric groups appearing as automorphism groups and at the same time with a torsion-free automorphism group of its Fraïssé limit. Our last example is a Fraïssé class of finite models with arbitrarily large finite abelian automorphism groups, such that the automorphism group of its Fraïssé limit is again torsion-free.
Wieslaw Kubis, Saharon Shelah
J. Symb. Log.1
2014 Fraïssé sequences: category-theoretic approach to universal homogeneous structures
Wieslaw Kubis
Ann. Pure Appl. Log.1
2003 Analytic colorings
Wieslaw Kubis, Saharon Shelah
Ann. Pure Appl. Log.1