1998–99 Annual Meeting of the Association for Symbolic Logic
type: Item
instance of: scholarly article
title: 1998–99 Annual Meeting of the Association for Symbolic Logic
zbMATH Open document ID: 0941.03500
DOI: 10.2307/421188
publication date: 2000-04-12T00:00:00Z
full work available at URL: 0503-toc.htm
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 1406831
zbMATH Keywords: Meeting
zbMATH Keywords: Symbolic logic
zbMATH Keywords: Logic
zbMATH Keywords: San Diego (California)
MaRDI profile type: Publication
OpenAlex ID: W2322056426
cites work: Recursively enumerable sets of positive integers and their decision problems
cites work: Strong reducibilities
cites work: The Isolated D. R. E. Degrees are Dense in the R. E. Degrees
cites work: The theory of the recursively enumerable weak truth-table degrees is undecidable
cites work: Q4692959
cites work: Completions of PA: Models and enumerations of representable sets
cites work: A logical framework for default reasoning
cites work: Upper bounds for the arithmetical degrees
cites work: Finitely stratified polymorphism
cites work: Systems of predicative analysis
cites work: Q4139711
cites work: Epsilon substitution method for elementary analysis
cites work: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
cites work: The $\Pi _3$-theory of the computably enumerable Turing degrees is undecidable
cites work: Natural 3-valued logics—characterization and proof theory
cites work: The undecidability of the recursively enumerable degrees
cites work: Weak density and cupping in the d-r.e. degrees
cites work: The d.r.e. degrees are not dense
cites work: Linear logic as a logic of computations
cites work: Bounded arithmetic and the polynomial hierarchy
cites work: Epistemic and intuitionistic formal systems
cites work: Computable isomorphisms, degree spectra of relations, and Scott families
cites work: Computability and Recursion
published in: The Bulletin of Symbolic Logic
description: scientific article; zbMATH DE number 1406831