Pages that link to "Item:Q1011333"
From MaRDI portal
The following pages link to Realizability. An introduction to its categorical side (Q1011333):
Displaying 48 items.
- A homotopy-theoretic model of function extensionality in the effective topos (Q3119466) (← links)
- Some reasons for generalising domain theory (Q3559971) (← links)
- A note on inequivalence of realizability toposes (Q3826731) (← links)
- A Real Number Structure that is Effectively Categorical (Q4243908) (← links)
- (Q4281473) (← links)
- (Q4580318) (← links)
- Realizability algebras III: some examples (Q4599612) (← links)
- Realizability in ordered combinatory algebras with adjunction (Q4623132) (← links)
- (Q4736391) (← links)
- COMPUTABILITY IN PARTIAL COMBINATORY ALGEBRAS (Q4984865) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS (Q5015728) (← links)
- Computability of Subsets of Metric Spaces (Q5024568) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model (Q5043591) (← links)
- On Church’s thesis in cubical assemblies (Q5055494) (← links)
- Converse extensionality and apartness (Q5060186) (← links)
- Triposes as a generalization of localic geometric morphisms (Q5084312) (← links)
- (Q5091148) (← links)
- (Q5101353) (← links)
- The category of implicative algebras and realizability (Q5108535) (← links)
- Implicative algebras: a new foundation for realizability and forcing (Q5139288) (← links)
- On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes (Q5156775) (← links)
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← links)
- SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II (Q5207562) (← links)
- Realizability Models Separating Various Fan Theorems (Q5326379) (← links)
- Every metric space is separable in function realizability (Q5377467) (← links)
- Regular functors and relative realisability categories (Q5400856) (← links)
- Krivine's classical realisability from a categorical perspective (Q5410238) (← links)
- REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION (Q5737943) (← links)
- Computability structures, simulations and realizability (Q5740351) (← links)
- A notion of homotopy for the effective topos (Q5740653) (← links)
- An injection from the Baire space to natural numbers (Q5740665) (← links)
- LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (Q5858930) (← links)
- A topos for continuous logic (Q5868039) (← links)
- Lawvere-Tierney topologies for computability theorists (Q5875936) (← links)
- The Herbrand topos (Q5891131) (← links)
- Erratum to ``Spacelike hypersurfaces of constant higher order mean curvature in generalized Robertson-Walker spacetimes''. (Q5891132) (← links)
- Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem (Q6094124) (← links)
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY (Q6095977) (← links)
- Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)
- Stateful Realizers for Nonstandard Analysis (Q6135755) (← links)
- On categorical structures arising from implicative algebras: from topology to assemblies (Q6145036) (← links)
- Nonstandard proof methods in toposes (Q6151820) (← links)
- What should a generic object be? (Q6174093) (← links)
- Zeta functions and the (linear) logic of Markov processes (Q6597969) (← links)
- The complexity of completions in partial combinatory algebra (Q6635151) (← links)
- A quick overview on the quantum control approach to the lambda calculus (Q6661148) (← links)