Uniform inseparability in explicit mathematics

DOI10.2307/2586767zbMath0926.03075OpenAlexW2094430851MaRDI QIDQ4254638

Pierluigi Minari, Andrea Cantini

Publication date: 29 June 1999

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586767

zbMATH Keywords

explicit mathematicsstrong power type axiomgeneralized inseparability lemmaJäger's language of types and namesRice's theorem for typesweak uniform comprehension

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items (2)

About Truth and Types ⋮ Universes in explicit mathematics

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Uniform inseparability in explicit mathematics