Numerical existence property and categories with an internal copy

DOI10.1007/S11787-020-00258-XzbMath1448.18001OpenAlexW3044244341MaRDI QIDQ2198319

Samuele Maschio

Publication date: 10 September 2020

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-020-00258-x

zbMATH Keywords

internal categoriesexistence propertydefinable classesGödelian encoding

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Gödel numberings and issues of incompleteness (03F40) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

A categorical reading of the numerical existence property in constructive foundations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elementary quotient completion
• The disjunction and related properties for constructive Zermelo-Fraenkel set theory
• On the interpretation of intuitionistic number theory

This page was built for publication: Numerical existence property and categories with an internal copy