scientific article; zbMATH DE number 3794036
From MaRDI portal
Publication:4739887
zbMath0504.03001MaRDI QIDQ4739887
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
type theorytopos theorycategorical algebraHilbert's programZFfoundations for mathematicsGoedel theorem
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Categorical logic, topoi (03G30)
Related Items
Russell, His Paradoxes, and Cantor's Theorem: Part II, Covering-based rough sets and modal logics. II., Local set theory, Cumulative versus noncumulative ramified types, From the Foundations of Mathematics to Mathematical Pluralism, Intuitionistic ϵ‐ and τ‐calculi, Philosophy of mathematics: Prospects for the 1990s, Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory, Characterization of model Mirimanov-von Neumann cumulative sets, Category theory and set theory as theories about complementary types of universals, Russell's 1903 - 1905 Anticipation of the Lambda Calculus, WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER, A categorical manifesto, The Evolution of Principia Mathematica; Bertrand Russell's Manuscripts and Notes for the Second Edition, Typos ofPrincipia Mathematica, Supra-logic: using transfinite type theory with type variables for paraconsistency, Category theory and the foundations of mathematics: philosophical excavations., A theory of computation based on quantum logic. I, Experimenting with Isabelle in ZF set theory
