1 citations · 1 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022
Bisimulations of potentialist systems
Sam Adam-Day
A potentialist system is a first-order Kripke model based on embeddings. I define the notion of bisimulation for these systems, and provide a number of examples. Given a first-orde…
math.LO2022
Uniform, rigid branchwise-real trees
Sam Adam-Day
A branchwise-real tree is a partial order which is a tree and in which every branch is isomorphic to a real interval. I give constructions of such trees which are both rigid (i.e.…