Source author record

Jose G. Mijares

Jose G. Mijares appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.CO math.LO

Catalog footprint

What is connected

7works

2topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2016arXiv

A Ramsey space of infinite polyhedra and the random polyhedron

In this paper we introduce a new topological Ramsey space whose elements are infinite ordered polyhedra. Then, we show as an application that the set of finite polyhedra satisfies two types of Ramsey property: one, when viewed as a category over $\mathbb N$; the other, when considered as a class of finite structures. The (ordered) random polyhedron is the Fraisse limit of the class of finite ordered polyhedra; we prove that its group of automorphisms is extremely amenable. Finally, we present a countably infinite family of topological Ramsey subspaces; each one determines a class of finite ordered structures which turns out to be a Ramsey class. One of these subspaces is Ellentuck's space; another one is associated to the class of finite ordered graphs whose Fraisse limit is the random graph. The Fraisse limits of these classes are not pairwise isomorphic as countable structures and none of them is isomorphic to the random polyhedron.

preprint2015arXiv

Local Ramsey theory. An abstract approach

Given a topological Ramsey space $(\mathcal R,\leq, r)$, we extend the notion of semiselective coideal to sets $\mathcal H\subseteq\mathcal R$ and study conditions for $\mathcal H$ that will enable us to make the structure $(\mathcal R,\mathcal H,\leq, r)$ a Ramsey space (not necessarily topological) and also study forcing notions related to $\mathcal H$ which will satisfy abstract versions of interesting properties of the corresponding forcing notions in the realm of Ellentuck's space. This extends results of Farah, and results of Mijares, to the most general context of topological Ramsey spaces. As applications, we prove that for every topological Ramsey space $\mathcal R$, under suitable large cardinal hypotheses every semiselective ultrafilter $\mathcal U\subseteq\mathcal R$ is generic over $L(\mathbb R)$; and that given a semiselective coideal $\mathcal H\subseteq\mathcal R$, every definable subset of $\mathcal R$ is $\mathcal H$--Ramsey. This generalizes the corresponding results for the case when $\mathcal R$ is equal to Ellentuck's space.

preprint2015arXiv

Topological Ramsey spaces from Fraïssé classes, Ramsey-classification theorems, and initial structures in the Tukey types of p-points

A general method for constructing a new class of topological Ramsey spaces is presented. Members of such spaces are infinite sequences of products of Fraïssé classes of finite relational structures satisfying the Ramsey property. The Product Ramsey Theorem of Sokič is extended to equivalence relations for finite products of structures from Fraïssé classes of finite relational structures satisfying the Ramsey property and the Order-Prescribed Free Amalgamation Property. This is essential to proving Ramsey-classification theorems for equivalence relations on fronts, generalizing the Pudlák-Rödl Theorem to this class of topological Ramsey spaces. To each topological Ramsey space in this framework corresponds an associated ultrafilter satisfying some weak partition property. By using the correct Fraïssé classes, we construct topological Ramsey spaces which are dense in the partial orders of Baumgartner and Taylor in \cite{Baumgartner/Taylor78} generating p-points which are $k$-arrow but not $k+1$-arrow, and in a partial order of Blass in \cite{Blass73} producing a diamond shape in the Rudin-Keisler structure of p-points. Any space in our framework in which blocks are products of $n$ many structures produces ultrafilters with initial Tukey structure exactly the Boolean algebra $\mathcal{P}(n)$. If the number of Fraïssé classes on each block grows without bound, then the Tukey types of the p-points below the space's associated ultrafilter have the structure exactly $[ω]^{<ω}$. In contrast, the set of isomorphism types of any product of finitely many Fraïssé classes of finite relational structures satisfying the Ramsey property and the OPFAP, partially ordered by embedding, is realized as the initial Rudin-Keisler structure of some p-point generated by a space constructed from our template.

preprint2014arXiv

Ideal games and Ramsey sets

It is shown that Matet's characterization of the Ramsey property relative to a selective co-ideal $\mathcal{H}$, in terms of games of Kastanas, still holds if we consider semiselectivity instead of selectivity. Moreover, we prove that a co-ideal $\mathcal{H}$ is semiselective if and only if Matet's game-theoretic characterization of the $\mathcal{H}$-Ramsey property holds. This lifts Kastanas's characterization of the classical Ramsey property to its optimal setting, from the point of view of the local Ramsey theory and gives a game-theoretic counterpart to a theorem of Farah \cite{far}, asserting that a co-ideal $\mathcal{H}$ is semiselective if and only if the family of $\mathcal{H}$-Ramsey subsets of $\N^{[\infty]}$ coincides with the family of those sets having the abstract $\mathcal{H}$-Baire property. Finally, we show that under suitable assumptions, for every semiselective co-ideal $\mathcal H$ all sets of real numbers are $\mathcal H$-Ramsey.

preprint2014arXiv

Topological Ramsey spaces and metrically Baire sets

We characterize a class of topological Ramsey spaces such that each element $\mathcal R$ of the class induces a collection $\{\mathcal R_k\}_{k<ω}$ of projected spaces which have the property that every Baire set is Ramsey. Every projected space $\mathcal R_k$ is a subspace of the corresponding space of length-$k$ approximation sequences with the Tychonoff, equivalently metric, topology. This answers a question of S. Todorcevic and generalizes the results of Carlson \cite{Carlson}, Carlson-Simpson \cite{CarSim2}, Prömel-Voigt \cite{PromVoi}, and Voigt \cite{Voigt}. We also present a new family of topological Ramsey spaces contained in the aforementioned class which generalize the spaces of ascending parameter words of Carlson-Simpson \cite{CarSim2} and Prömel-Voigt \cite{PromVoi} and the spaces $\FIN_m^{[\infty]}$, $0<m<ω$, of block sequences defined by Todorcevic \cite{Todo}.

preprint2010arXiv

A parametrization of the abstract Ramsey theorem

We give a parametrization with perfect subsets of $2^{\infty}$ of the abstract Ramsey theorem (see \cite{todo}) Our main tool is an extension of the parametrized version of the combinatorial forcing developed in \cite{nash} and \cite{todo}, used in \cite{mij} to the obtain a parametrization of the abstract Ellentuck theorem. As one of the consequences, we obtain a parametrized version of the Hales-Jewett theorem. Finally, we conclude that the family of perfectly ${\cal S}$-Ramsey subsets of $2^{\infty}\times {\cal R}$ is closed under the Souslin operation. {\bf Key words and phrases}: Ramsey theorem, Ramsey space, parametrization.