On the number of types

DOI10.1007/S11229-016-1190-1zbMATH Open1417.03079OpenAlexW2513106854MaRDI QIDQ1708962FDOQ1708962

Authors: Miloš Kosterec 

Publication date: 27 March 2018

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-016-1190-1

Recommendations

• scientific article; zbMATH DE number 713392
• scientific article; zbMATH DE number 1302063
• scientific article; zbMATH DE number 1215502
• On the internal structures of inductive types
• Publication:3478383

zbMATH Keywords

cardinalitytypeCantor-Bernstein theoremlength of typetype constructor

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Title not available (Why is that?)
• Theoretical Pearls:Representing ‘undefined’ in lambda calculus
• Semantical antinomies in the logic of sense and denotation
• Title not available (Why is that?)
• A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
• Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II)
• Title not available (Why is that?)
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• Title not available (Why is that?)
• Procedural isomorphism, analytic information and  -conversion by value
• Transparent quantification into hyperintensional objectual attitudes
• The paradox of inference and the non-triviality of analytic information
• Comparison of Russell's resolution of the semantical antinomies with that of Tarski
• The seven virtues of simple type theory
• Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I)
• Russell, his paradoxes, and Cantor's theorem. I.
• Does Frege have too many thoughts? A Cantorian problem revisited

Cited In (4)

• Anatomy of a proposition
• Title not available (Why is that?)
• Substitution contradiction, its resolution and the Church-Rosser theorem in TIL
• On the limiting proportion of types

Uses Software

• Automath

This page was built for publication: On the number of types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1708962)