1998–99 Annual Meeting of the Association for Symbolic Logic (Q4940738): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2322056426
@@ Property / OpenAlex ID: W2322056426 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Strong reducibilities
@@ Property / cites work: Strong reducibilities / rank @@
+Normal rank
@@ Property / cites work @@
+The Isolated D. R. E. Degrees are Dense in the R. E. Degrees
+Normal rank
@@ Property / cites work @@
+The theory of the recursively enumerable weak truth-table degrees is undecidable
+Normal rank
@@ Property / cites work @@
+Q4692959
@@ Property / cites work: Q4692959 / rank @@
+Normal rank
@@ Property / cites work @@
+Completions of PA: Models and enumerations of representable sets
+Normal rank
@@ Property / cites work @@
+A logical framework for default reasoning
@@ Property / cites work: A logical framework for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Upper bounds for the arithmetical degrees
@@ Property / cites work: Upper bounds for the arithmetical degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely stratified polymorphism
@@ Property / cites work: Finitely stratified polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Epsilon substitution method for elementary analysis
+Normal rank
@@ Property / cites work @@
+Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
+Normal rank
@@ Property / cites work @@
+The $\Pi _3$-theory of the computably enumerable Turing degrees is undecidable
+Normal rank
@@ Property / cites work @@
+Natural 3-valued logics—characterization and proof theory
+Normal rank
@@ Property / cites work @@
+The undecidability of the recursively enumerable degrees
+Normal rank
@@ Property / cites work @@
+Weak density and cupping in the d-r.e. degrees
@@ Property / cites work: Weak density and cupping in the d-r.e. degrees / rank @@
+Normal rank
@@ Property / cites work @@
+The d.r.e. degrees are not dense
@@ Property / cites work: The d.r.e. degrees are not dense / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic as a logic of computations
@@ Property / cites work: Linear logic as a logic of computations / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded arithmetic and the polynomial hierarchy
@@ Property / cites work: Bounded arithmetic and the polynomial hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic and intuitionistic formal systems
@@ Property / cites work: Epistemic and intuitionistic formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Computable isomorphisms, degree spectra of relations, and Scott families
+Normal rank
@@ Property / cites work @@
+Computability and Recursion
@@ Property / cites work: Computability and Recursion / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4940738