Andrew Swan

Available identifiers

zbMath Open swan.andrew-wMaRDI QIDQ782836

List of research outcomes

Publication	Date of Publication	Type
A class of higher inductive types in Zermelo‐Fraenkel set theory	2023-09-12	Paper
Unifying Cubical Models of Univalent Type Theory	2023-02-07	Paper
On Church’s thesis in cubical assemblies	2022-12-09	Paper
Double negation stable h-propositions in cubical sets	2022-09-29	Paper
Definable and Non-definable Notions of Structure	2022-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q5028473	2022-02-09	Paper
The magnetorotational instability prefers three dimensions	2021-10-29	Paper
The geometry of random walk isomorphism theorems	2021-07-23	Paper
LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION	2021-04-15	Paper
Random spanning forests and hyperbolic symmetry	2021-03-25	Paper
On the Nielsen-Schreier Theorem in Homotopy Type Theory	2020-10-02	Paper
Analyticity for rapidly determined properties of Poisson Galton-Watson trees	2020-07-29	Paper
Dynkin isomorphism and Mermin-Wagner theorems for hyperbolic sigma models and recurrence of the two-dimensional vertex-reinforced jump process	2019-12-18	Paper
Every metric space is separable in function realizability	2019-05-24	Paper
On Church's Thesis in Cubical Assemblies	2019-05-08	Paper
Identity Types in Algebraic Model Structures and Cubical Sets	2018-08-02	Paper
Separating Path and Identity Types in Presheaf Models of Univalent Type Theory	2018-08-02	Paper
Evidence of the Poisson/Gaudin–Mehta phase transition for band matrices on global scales	2018-06-19	Paper
On Dividing by Two in Constructive Mathematics	2018-04-12	Paper
W-Types with Reductions and the Small Object Argument	2018-02-21	Paper
Lifting Problems in Grothendieck Fibrations	2018-02-07	Paper
An algebraic weak factorisation system on 01-substitution sets: a constructive proof	2017-04-10	Paper
Some Brouwerian Counterexamples Regarding Nominal Sets in Constructive Set Theory	2017-02-06	Paper
CZF does not have the existence property	2014-02-14	Paper
A categorical formulation of Kraus' paradox	N/A	Paper

Research outcomes over time

This page was built for person: Andrew Swan