◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Pedro Marun

5 papers hereh-index 11 citations7 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author2
  • middle author1
  • last author2

Across the 5 of 5 papers where every author was matched, so the position is known.

fields
  • math.LO5

identity via Semantic Scholar / OpenAlex

activity
20232026
collaborators

5 papers

math.LO2026

Higher walks and squares

Chris Lambie-Hanson, Pedro Marun

We continue the development of the theory of higher dimensional walks on ordinals began recently by Bergfalk. In particular we identify natural coherence conditions on higher dimen…

math.LO2026

Preservation of some topological properties under forcing

Chris Lambie-Hanson, Pedro Marun

We add to the theory of preservation of topological properties under forcing. In particular, we answer a question of Gilton and Holshouser in a strong sense, showing that if player…

math.LO2025

Baumgartner's Axiom and Small Posets

Pedro Marun, Saharon Shelah, Corey Bacal Switzer

We contribute to the study of ℵ1​-dense sets of reals, a mainstay in set theoretic research since Baumgartner's seminal work in the 70s. In particular, we show that it is co…

math.LO2025

Adding ℵω​ many Cohen reals

Pedro Marun, Saharon Shelah, Corey Bacal Switzer

Abstractly, the generic extensions after ℵω​-many Cohen reals and ℵω+1​-many Cohen reals must be different for reasons of uniform density the relevant Boolean algeb…

math.LO2023

On the Consistency Strength of MM(ω1​)

Natasha Dobrinen, John Krueger, Pedro Marun +2

We prove that the consistency strength of Martin's Maximum restricted to partial orders of cardinality ω1​ follows from the consistency of ZFC.

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.