Pages that link to "Item:Q5148098"

The following pages link to EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098):

Displaying 24 items.

• Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
• Inductive types and exact completion (Q556819) (← links)
• Constructions of complete sets (Q745250) (← links)
• The notion of exhaustiveness and Ascoli-type theorems (Q929997) (← links)
• Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
• Cartesian closed exact completions (Q1124976) (← links)
• Extensive forms and set-theoretic forms (Q1189349) (← links)
• Complete topoi representing models of set theory (Q1192330) (← links)
• Constructive sets in computable sets (Q1372877) (← links)
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
• The completeness of arithmetic sets under operations of set theory (Q1902753) (← links)
• Category theoretic structure of setoids (Q2253183) (← links)
• Nonessential extensions of complete theories (Q2266007) (← links)
• Constructing categories and setoids of setoids in type theory (Q2921123) (← links)
• (Q3829757) (← links)
• Completeness of global intuitionistic set theory (Q4358052) (← links)
• On existence of complete sets for bounded reducibilities (Q4452450) (← links)
• W-types in setoids (Q5155691) (← links)
• CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES (Q5207556) (← links)
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
• The effective model structure and -groupoid objects (Q5866297) (← links)
• Flatness, weakly lex colimits, and free exact completions (Q6196051) (← links)