A variation of Reynolds-Hurkens Paradox

08/31/2023
by   Thierry Coquand, et al.
0

We present a variation of Hurkens paradox, which can itself be seen as a variation of Reynolds result that there is no set theoretic model of polymorphism.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/19/2012

Disentangling Factors of Variation via Generative Entangling

Here we propose a novel model family with the objective of learning to d...
research
08/01/2018

Model-order selection in statistical shape models

Statistical shape models enhance machine learning algorithms providing p...
research
01/25/2023

Variation-Aware Semantic Image Synthesis

Semantic image synthesis (SIS) aims to produce photorealistic images ali...
research
05/10/2018

Haplotype-aware graph indexes

The variation graph toolkit (VG) represents genetic variation as a graph...
research
03/27/2023

Variation and Instability in Dialect-Based Embedding Spaces

This paper measures variation in embedding spaces which have been traine...
research
03/11/2020

Stable variation in multidimensional competition

The Fundamental Theorem of Language Change (Yang, 2000) implies the impo...
research
05/01/2022

Textual Stylistic Variation: Choices, Genres and Individuals

This chapter argues for more informed target metrics for the statistical...

Please sign up or login with your details

Forgot password? Click here to reset