2000 Annual Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:4527937
DOI10.2307/421070zbMath0964.03500OpenAlexW2108983913MaRDI QIDQ4527937
No author found.
Publication date: 5 July 2001
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0603-toc.htm
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Tractability of cut-free Gentzen type propositional calculus with permutation inference
- On degrees of recursive unsolvability
- The density of infima in the recursively enumerable degrees
- Fixed point theory in weak second-order arithmetic
- The intractability of resolution
- A non-inversion theorem for the jump operator
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
- Propositional logic of supposition and assertion
- Capturing complexity classes by fragments of second-order logic
- A problem on spreading models
- Cut normal forms and proof complexity
- The elementary theory of restricted analytic fields with exponentiation
- A theory of nonmonotonic rule systems. II
- A theory of nonmonotonic rule systems I
- Sticks and clubs
- Fragments of HA based on \(\Sigma_ 1\)-induction
- Ordinal numbers and the Hilbert basis theorem
- Generalized cohesiveness
- A cohesive set which is not high
- On the structure of kripke models of heyting arithmetic
- A feasible theory for analysis
- Contiguity and distributivity in the enumerable Turing degrees
- Minimal models of Heyting arithmetic
- A logic stronger than intuitionism
- Existence, Negation, and Abstraction in the Neoplatonic Hierarchy1
- A minimal pair of recursively enumerable degrees
- Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik
- Class groups of integral group rings
- Ramsey's theorem and recursion theory
- Notes on polynomially bounded arithmetic
- A Topological Proof of the Fundamental Theorem of Algebra
- The Architecture of Mathematics
This page was built for publication: 2000 Annual Meeting of the Association for Symbolic Logic
