Home

About me

I am currently a researcher working as a project assistant associated with project P33895, led by Professor Jakob Kellner.

I am a first-year Ph.D. student at the Institute of Discrete Mathematics and Geometry, at TU Wien, in Vienna, Austria, under the supervision of Professors Diego A. Mejía and Jakob Kellner. I belong to the research group FB8 Set Theory.

My area of interest focuses on set theory and mathematical logic. Particularly, I am interested in iterated forcing, topology, and philosophy of mathematics.

In my bachelor's thesis, I studied a classical problem in general topology: the normal Moore space conjecture, which states that every normal Moore space is metrizable, and which turned out to be related to strongly compact cardinals. A weak version of the conjecture states that every separable normal Moore space is metrizable. This weak er conjecture is independent in ZFC, and in the thesis, we gave an actual and detailed presentation of this result.

In my master's thesis, I studied forcing iterations using finitely additive measures. This forcing method was defined by Saharon Shelah in 2000 to prove that, consistently, the covering of the null ideal may have countable cofinality. Later, in 2019, Jakob Kellner, Saharon Shelah, and Anda Tanasie made some generalizations, among them, they managed to generalize the notions of forcing to prove an extension theorem at successor steps, however, there remained an open problem: to find conditions for proving a theorem at limit steps. In the thesis, this problem was solved, and this allowed us to present a general theory of iterated forcing using finitely additive measures, in which we can iterate with any μ-FAM-linked forcing notion, a new linkedness property that turned out to be the key to be able to iterate with this type of measures. Concerning applications, we present a new constellation of  Cichoń's diagram: a separation of the left-hand side allowing the covering of the null ideal singular, moreover, with countable cofinality. 

Danube River, Budapest, December 2023.

Currently, in my first year of Ph.D., I am still interested in forcing theory using finitely additive measures, in particular, I am exploring ways to use these measures on two-dimensional iteration matrices to get new separations of Cichoń's diagram. In addition, I want to investigate the possibility of using this method to force more singular characteristic cardinals.  This is a joint work with Miguel A. Cardona and Diego A. Mejía. 

Upcoming Activities

Recent Activities 

Recent Activities (2023)

Contact Information

Link Link Link Link Link