On the number of types

DOI10.1007/S11229-016-1190-1MaRDI QIDQ1708962zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

cardinalitytypeCantor-Bernstein theoremlength of typetype constructor

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(4)

• Anatomy of a proposition
• scientific article; zbMATH DE number 1036222 (Why is no real title available?)
• Substitution contradiction, its resolution and the Church-Rosser theorem in TIL
• On the limiting proportion of types

Describes a project that uses

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)