scientific article; zbMATH DE number 786487

zbMath0823.03039arXivmath/9309208MaRDI QIDQ4842968

Andreas Blass

Publication date: 31 October 1995

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logicsequential compositionmultiplicative connectivesreductions between search problems in complexity theoryVojtáš's analysis of cardinal characteristics of the continuum

Mathematics Subject Classification ID

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

Related Items

Categorification of Negative Information using Enrichment, Introduction to computability logic, Many-one reductions and the category of multivalued functions, Functional interpretations of linear and intuitionistic logic, Needed reals and recursion in generic reals, On uniform relationships between combinatorial problems, Chu spaces from the representational viewpoint, Borel on the Questions Versus Borel on the Answers