Jorge Antonio Cruz Chapital

dblp:368/9870 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
3since 2021 · last 2026
—ORCID · unresolved

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

Theory of computation · 3 · 3 first-author · 3 since 2021
YearPublicationVenuePosition
2026 Construction schemes: Transferring structures from ω to ω1
Jorge Antonio Cruz Chapital, Osvaldo Guzmán González, Stevo Todorcevic
Ann. Pure Appl. Log.1
2026 ALL ordinals are cop-robber ordinals
abstract
The game of cops and robbers, played on a fixed graph G , is a two-player game, where the cop and the robber (the players) take turns in moving to adjacent vertices. The game finishes if the cop lands on the robber’s vertex. In that case we say that the cop wins. If the cop can always win, regardless of the starting positions, we say that G is a cop-win graph. For a finite cop-win graph G we can ask for the minimum number n such that, regardless of the starting positions, the game will end in at most n steps. This number is called the maximum capture time of G . By looking at finite paths, we see that any non-negative integer is the maximum capture time for a cop-win graph. What about infinite cop-win graphs? In this case, the notion of capture time is nicely generalised if one works with ordinals, and so the question becomes which ordinals can be the maximum capture time of a cop-win graph? These ordinals are called CR (Cop-Robber)-ordinals. In this paper we fully settle this by showing that all ordinals are CR-ordinals, answering a question of Bonato, Gordinowicz and Hahn.
Jorge Antonio Cruz Chapital, Tomás Flídr, Maria-Romina Ivan
Theor. Comput. Sci.1
2023 Partition forcing and Independent families
abstract
Abstract We show that Miller partition forcing preserves selective independent families and P-points, which implies the consistency of $\mbox {cof}(\mathcal {N})=\mathfrak {a}=\mathfrak {u}=\mathfrak {i}<\mathfrak {a}_T=\omega _2$ . In addition, we show that Shelah’s poset for destroying the maximality of a given maximal ideal preserves tight mad families and so we establish the consistency of $\mbox {cof}(\mathcal {N})=\mathfrak {a}=\mathfrak {i}=\omega _1<\mathfrak {u}=\mathfrak {a}_T=\omega _2$ .
Jorge Antonio Cruz Chapital, Vera Fischer, Osvaldo Guzmán, Jaroslav Supina
J. Symb. Log.1