Rankings
Publications
Search Publications
Cited-by Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Scilit
About Us
Advisory Board
Data Sources
Career
Support / Contact
User Guide
Publisher User
Search Function
Rankings Function
API Resource
Scilit Knowledge
Metrics
Scilit Recognitions
Publications Classification
Media
News
Blog
Login
Register
Home
Publications
Extending Martin-Löf Type Theory by one Mahlo-universe
Home
Publications
Extending Martin-Löf Type Theory by one Mahlo-universe
Extending Martin-Löf Type Theory by one Mahlo-universe
Author:
AS
Anton Setzer
Anton Setzer
Article Alert
Citation Alert
Add to Library
Cite
Download
Share
Download
Download PDF
Download
Publisher website
Google Scholar
1 April 2000
journal article
Published by
Springer Nature
in
Archive for Mathematical Logic
Vol. 39
(3)
,
155-181
DOI:
10.1007/s001530050140
Abstract
No abstract available
Keywords
TYPE THEORY
THEORETICAL STRENGTH
UNIVERSE VERSUS
INSIDE VERSUS
PROOF THEORETICAL STRENGTH
Cited
Cited by 36 articles
Scroll to top