Models of intuitionistic set theory in subtoposes of nested realizability toposes
Work
Year: 2015
Type: article
Source: Annals of Pure and Applied Logic
Authors Samuele Maschio, Thomas Streicher
Institutions University of Padua, Technical University of Darmstadt
Cites: 17
Cited by: 3
Related to: 10
FWCI:
Citation percentile (by year/subfield): 48.28
Topic: Advanced Topics in Algebra
Subfield: Algebra and Number Theory
Field: Mathematics
Domain: Physical Sciences
Open Access status: bronze