Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Nonstandard combinatorial ultrafilters and a new local witness model
Johannes Heil, Moritz Müller
A central object in the theory of proof complexity generators is Krajicek's local witness model. We construct a new such model as a definable ultrapower using a definable version o…
math.LO2014
Topological dynamics of unordered Ramsey structures
Moritz Müller, András Pongrácz
In this paper we investigate the connections between Ramsey properties of Fraisse classes K and the universal minimal flow M(G_K) of the automorphism group G_K of their Fraisse lim…