scientific article; zbMATH DE number 786487

MaRDI QIDQ4842968zbMATH OpenFDO

Authors Andreas Blass

Publication date 31 October 1995

Full work available at URL https://arxiv.org/abs/math/9309208

zbMATH Keywords

linear logicmultiplicative connectivesreductions between search problems in complexity theorysequential compositionVojtáš's analysis of cardinal characteristics of the continuum

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Applications of set theory (03E75) Other constructive mathematics (03F65) Categorical logic, topoi (03G30) Special categories (18B99) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• scientific article; zbMATH DE number 2134910
• Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
• scientific article; zbMATH DE number 785051
• scientific article; zbMATH DE number 1303730
• On Köthe sequence spaces and linear logic

Cited in

(11)

• Chu spaces from the representational viewpoint
• Introduction to computability logic
• On uniform relationships between combinatorial problems
• Many-one reductions and the category of multivalued functions
• Borel on the Questions Versus Borel on the Answers
• Dialectical categories, cardinalities of the continuum and combinatorics of ideals
• Needed reals and recursion in generic reals
• Categorification of Negative Information using Enrichment
• Categories for computation in context and unified logic
• Almost refinement, reaping, and ultrafilter numbers
• Functional interpretations of linear and intuitionistic logic

This page was built for publication:

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