scientific article; zbMATH DE number 3346618
From MaRDI portal
Publication:5622402
zbMath0218.18002MaRDI QIDQ5622402
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items (39)
The fixed-point property for represented spaces ⋮ STRONG HOMOMORPHISMS, CATEGORY THEORY, AND SEMANTIC PARADOX ⋮ Universal profinite domains ⋮ Some lambda calculi with categorical sums and products ⋮ Dialectica logical principles ⋮ Monads for which structures are adjoint to units ⋮ Organismic supercategores: II. On multistable systems ⋮ Bootstrapping system defined by inconsistent relation between Boolean and non-Boolean algebra ⋮ Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator ⋮ On fixed-point theorems in synthetic computability ⋮ The equational logic of fixed points ⋮ A general adequacy result for a linear functional language ⋮ Fixed points in lambda calculus. an eccentric survey of problems and solutions ⋮ Dialectica principles via Gödel doctrines ⋮ Sets with structure, mappings and fixed point property: fixed point structures ⋮ A categorial approach to the theory of computation ⋮ Generalized Banach-Mazur functionals in the topos of recursive sets ⋮ Metric spaces in synthetic topology ⋮ Inheritance as implicit coercion ⋮ Left and right adjoint operations on spaces and data types ⋮ Projectales ⋮ Epistemic horizons and the foundations of quantum mechanics ⋮ Coinduction in Flow: The Later Modality in Fibrations ⋮ At the Limits of Thought ⋮ Introduction: A personal tribute to Peter Freyd and Bill Lawvere ⋮ Sets and supersets ⋮ A co-free construction for elementary doctrines ⋮ Unifying exact completions ⋮ Dynamical infomorphism: form of endo-perspective ⋮ Adjointness in recursion ⋮ Burali-Forti as a purely logical paradox ⋮ On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos ⋮ Yoneda structures on 2-categories ⋮ Appearance of hierarchical structure in hyper-dilation model: Model of generalized measurement process ⋮ A note on inconsistencies caused by fixpoints in a cartesian closed category ⋮ Categorical fixed point semantics ⋮ Axioms and (counter)examples in synthetic domain theory ⋮ From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference ⋮ Aspects of Categorical Recursion Theory
This page was built for publication:
