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	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andrew Swan