AI Chat AI Image Generator AI Video Text to Speech

Equivariant ZFA and the foundations of nominal techniques

01/29/2018

∙

by Murdoch J. Gabbay, et al.

∙

∙

We give an accessible presentation to the foundations of nominal techniques, lying between Zermelo-Fraenkel set theory and Fraenkel-Mostowski set theory, and which has several nice properties including being consistent with the Axiom of Choice. We give two presentations of equivariance, accompanied by detailed yet user-friendly discussions of its theoretical significance and practical application.

page 1

page 2

page 3

page 4

research

∙ 12/14/2018

Theory Presentation Combinators

To build a scalable library of mathematics, we need a method which takes...

0 Jacques Carette, et al. ∙

research

∙ 04/26/2023

Specifying programs with propositions and with congruences

We give a presentation of Krivine and Parigot's Second-order functional ...

0 Gilles Dowek, et al. ∙

research

∙ 05/12/2020

MathZero, The Classification Problem, and Set-Theoretic Type Theory

AlphaZero learns to play go, chess and shogi at a superhuman level throu...

1 David McAllester, et al. ∙

research

∙ 08/08/2022

Independence of the Continuum Hypothesis: an Intuitive Introduction

The independence of the continuum hypothesis is a result of broad impact...

0 Serafim Batzoglou, et al. ∙

research

∙ 08/18/2023

Canonicity and Computability in Homotopy Type Theory

This dissertation gives an overview of Martin Lof's dependant type theor...

0 Dmitry Filippov, et al. ∙

research

∙ 10/16/2020

Significance and Replication in simple counting experiments: Distributional Null Hypothesis Testing

Null Hypothesis Significance Testing (NHST) has long been of central imp...

0 Fintan Costello, et al. ∙

research

∙ 11/11/2019

Bunch theory: working notes on applications, axioms and models

In his book "A practical theory of programming" Eric Hehner proposes and...

0 Bill Stoddart, et al. ∙