Related papers: Hereditarily indecomposable continua as generic ma…
In 1985 M. Smith constructed a nonmetric pseudo-arc; i.e. a Hausdorff homogeneous, hereditary equivalent and hereditary indecomposable continuum. Taking advantage of a decomposition theorem of W. Lewis, he obtained it as a long inverse…
Finite games in normal form and their mixed extensions are a corner stone of noncooperative game theory. Often generic finite games and their mixed extensions are considered. But the properties which one expects in generic games and the…
Relying on recent generalizations of the Fra\"iss\'e theory to a broader category-theoretic context, we study the class of abstract finite games played between two players and show the existence of an infinitetly countable game which is…
The notion of hereditarily equivalent continua is classical in continuum theory with only two known nondegenerate examples (arc, and pseudoarc). In this paper we introduce generically hereditarily equivalent continua, i.e. continua which…
A continuum is hereditarily equivalent if it is homeomorphic to each of its non-degenerate sub-continua. We show in this paper that the arc and the pseudo-arc are the only non-degenerate hereditarily equivalent plane continua.
Absolute Universes of combinatorial games, as defined in a recent paper by the same authors, include many standard short normal- mis\`ere- and scoring-play monoids. In this note we show that the class is categorical, by extending Joyal's…
Game comonads offer a categorical view of a number of model-comparison games central to model theory, such as pebble and Ehrenfeucht-Fra\"iss\'e games. Remarkably, the categories of coalgebras for these comonads capture preservation of…
We show that finitely generated irreducible $\mathrm{II}_1$ subfactors are generic in the following sense. Given a separable $\mathrm{II}_1$ factor $M$ and an integer $n\geq 2$, equip the set of $n$-tuples of self-adjoint operators in $M$…
We develop a general framework (multidimensional asymptotic classes, or m.a.c.s) for handling classes of finite first order structures with a strong uniformity condition on cardinalities of definable sets: The condition asserts that…
In this paper, we have obtained a generalization of the Grothendieck's theorem for the space of continuous mappings $C_{\lambda,\mu}(X,Y)$ where $Y$ is a complete uniform space with the uniformity $\mu$ endowed with the topology of uniform…
The class of Guaranteed Scoring Games (GS) are two-player combinatorial games with the property that Normal-play games (Conway et. al.) are ordered embedded into GS. They include, as subclasses, the scoring games considered by Milnor…
We consider Schmidt's game on the space of compact subsets of a given metric space equipped with the Hausdorff metric, and the space of continuous functions equipped with the supremum norm. We are interested in determining the generic…
We develop the theory of approximate Fra\"{i}ss\'{e} limits in the context of categories enriched over metric spaces. Among applications, we construct a generic projection on the Gurarii space and we present a simpler proof of a…
We show that every non-degenerate homogeneous plane continuum is homeomorphic to either the unit circle, the pseudo-arc, or the circle of pseudo-arcs. It follows that any planar homogenous compactum has the form $X \times Z$, where $X$ is a…
Combinatorial games played between two players, called Spoiler and Duplicator, have often been used to capture syntactic properties of formal logical languages. For instance, the widely used Ehrenfeucht-Fra\"iss\'e (EF) game captures the…
We describe Gauss-type maps as geometric realizations of certain codes in the monoid of nonnegative matrices in the extended modular group. Each such code, together with an appropriate choice of unimodular intervals in P^1R, determines a…
In this paper, we argue that formal systems of first order Arithmetic that admit Goedelian undecidable propositions validly are abnormally non-constructive. We argue that, in such systems, the strong representation of primitive recursive…
We construct homeomorphisms of compacta from relations between finite graphs representing their open covers. Applied to the pseudoarc, this yields simple Fra\"iss\'e theoretic proofs of several important results, both old and new.…
Subtraction games are a class of impartial combinatorial games whose positions correspond to nonnegative integers and whose moves correspond to subtracting one of a fixed set of numbers from the current position. Though they are easy to…
We present several results on the compactness of the space of morphisms between analytic spaces in the sense of Berkovich. We show that under certain conditions on the source, every sequence of analytic maps having an affinoid target has a…