ℹ️
🇬🇧
Search
Search for people relevant for "first order logic"
first order logic
Person
Class
Person
Publication
Programmes
Michael Pinsker dipl. ing.
External academic staff at Faculty of Mathematics and Physics
19 publications
Publications
publication
WHEN SYMMETRIES ARE NOT ENOUGH: A HIERARCHY OF HARD CONSTRAINT SATISFACTION PROBLEMS
2022 |
Faculty of Mathematics and Physics
publication
CORES OVER RAMSEY STRUCTURES
2021 |
Faculty of Mathematics and Physics
publication
Smooth Approximations and Relational Width Collapses
2021 |
Faculty of Mathematics and Physics
publication
ω-CATEGORICAL STRUCTURES AVOIDING HEIGHT 1 IDENTITIES
2021 |
Faculty of Mathematics and Physics
publication
Hrushovski's Encoding and ω-Categorical CSP Monsters
2020 |
Faculty of Mathematics and Physics
publication
TOPOLOGY IS IRRELEVANT (IN A DICHOTOMY CONJECTURE FOR INFINITE DOMAIN CONSTRAINT SATISFACTION PROBLEMS)
2020 |
Faculty of Mathematics and Physics
publication
Equations in oligomorphic clones and the constraint satisfaction problem for omega-categorical structures
2019 |
Faculty of Mathematics and Physics
publication
Pseudo-loop conditions
2019 |
Faculty of Mathematics and Physics
publication
CONSTRAINT SATISFACTION PROBLEMS FOR REDUCTS OF HOMOGENEOUS GRAPHS
2019 |
Faculty of Mathematics and Physics
publication
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)
2019 |
Faculty of Mathematics and Physics
Load more publications (9)
Loading network view...