Pages that link to "Item:Q2403574"

The following pages link to The semantics of realizability for the constructive set theory based on hyperarithmetical predicates (Q2403574):

Displaying 9 items.

• On hyperarithmetical realizability (Q268079) (← links)
• Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
• Generalizing realizability and Heyting models for constructive set theory (Q651324) (← links)
• Realizability and recursive set theory (Q1094418) (← links)
• Modified realizability and predicate logic (Q1274048) (← links)
• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
• Realizability semantics of the early period of Markov's constructivism (history and problems) (Q2751811) (← links)
• MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER (Q4638992) (← links)
• Invariant measure in the problem of a disk rolling on a plane (Q4961698) (← links)