1 citations · 2 across the 11 of their papers we have counts for
Showing 2018 · math.LOShow all
2 papers · 2 filters
math.LO2018
Lifschitz Realizability as a Topological Construction
Michael Rathjen, Andrew Swan
We develop a number of variants of Lifschitz realizability for CZF by building topological models internally in certain realizability models. We use this to show some interesting m…
math.LO2018
Power Kripke-Platek set theory and the axiom of choice
Michael Rathjen
Whilst Power Kripke-Platek set theory, KPP, shares many properties with ordinary Kripke-Platek set theory, KP, in several ways it behaves quite differently from KP. This is perhaps…