Pages that link to "Item:Q1011333"
From MaRDI portal
The following pages link to Realizability. An introduction to its categorical side (Q1011333):
Displaying 50 items.
- The intrinsic topology of Martin-Löf universes (Q290640) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Natural factors of the Muchnik lattice capturing IPC (Q385809) (← links)
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Basic subtoposes of the effective topos (Q387125) (← links)
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos (Q418812) (← links)
- Constructive toposes with countable sums as models of constructive set theory (Q448336) (← links)
- The number of countable models in realizability toposes (Q456878) (← links)
- Triposes, q-toposes and toposes (Q476121) (← links)
- Natural factors of the Medvedev lattice capturing IPC (Q481874) (← links)
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
- Realizability models refuting Ishihara's boundedness principle (Q714714) (← links)
- First-order logic in the Medvedev lattice (Q897478) (← links)
- Categorical simulations (Q964545) (← links)
- On a generalization of equilogical spaces (Q1653553) (← links)
- Functoriality of modified realizability (Q1683375) (← links)
- Characterizing partitioned assemblies and realizability toposes (Q1713020) (← links)
- A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (Q1715476) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495) (← links)
- Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) (Q1798794) (← links)
- Univalent polymorphism (Q1987219) (← links)
- Exploring mathematical objects from custom-tailored mathematical universes (Q2080581) (← links)
- A categorical reading of the numerical existence property in constructive foundations (Q2080594) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- Third-order functionals on partial combinatory algebras (Q2105095) (← links)
- The effects of effects on constructivism (Q2133168) (← links)
- Axiomatic reals and certified efficient exact real computation (Q2148797) (← links)
- Partial combinatory algebra and generalized numberings (Q2148902) (← links)
- Dialectica logical principles (Q2151422) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Realizability with a local operator of A. M. Pitts (Q2253188) (← links)
- A co-free construction for elementary doctrines (Q2254598) (← links)
- Unifying exact completions (Q2254599) (← links)
- Kripke models for subtheories of \textsf{CZF} (Q2267746) (← links)
- Fixed point theorems for precomplete numberings (Q2311209) (← links)
- A game-semantic model of computation (Q2319854) (← links)
- Models of intuitionistic set theory in subtoposes of nested realizability toposes (Q2344624) (← links)
- CZF does not have the existence property (Q2637709) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- Categories of partial equivalence relations as localizations (Q2699426) (← links)
- On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos (Q2805156) (← links)
- On the Bourbaki–Witt principle in toposes (Q2841501) (← links)
- Ordered combinatory algebras and realizability (Q2973254) (← links)
- On the Semantics of Intensionality (Q2988392) (← links)
- On Choice Rules in Dependent Type Theory (Q2988806) (← links)
- A homotopy-theoretic model of function extensionality in the effective topos (Q3119466) (← links)
- Some reasons for generalising domain theory (Q3559971) (← links)
- (Q4580318) (← links)
