Richard Matthews

According to our database, Richard Matthews authored at least 9 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Realizing the totally unordered structure of ordinals.

Laura Fontanella, Richard Matthews

CoRR, April, 2025

2024

Very Large Set Axioms over Constructive Set Theories.

Hanul Jeon, Richard Matthews

Bull. Symb. Log., 2024

Constructing the constructible universe constructively.

Richard Matthews, Michael Rathjen

Ann. Pure Appl. Log., 2024

Realizability Models for Large Cardinals.

Laura Fontanella, Guillaume Geoffroy, Richard Matthews

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

A Guide to Krivine Realizability for Set Theory.

Richard Matthews

CoRR, 2023

2022

Taking Reinhardt's Power Away.

Richard Matthews

J. Symb. Log., December, 2022

2021

Ghost protocol - Snapchat as a method of surveillance.

Richard Matthews, Kieren Lovell, Matthew Sorell

Digit. Investig., 2021

2020

Reverse engineering the Raspberry Pi Camera V2: A study of pixel non-uniformity using a scanning electron microscope.

Richard Matthews, Nick Falkner, Matthew Sorell

Digit. Investig., 2020

2019

An analysis of optical contributions to a photo-sensor's ballistic fingerprints.

Richard Matthews, Matthew Sorell, Nickolas J. G. Falkner

Digit. Investig., 2019