1999 European Summer Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:4953838
DOI10.2307/421084zbMath0949.03500OpenAlexW2314691009MaRDI QIDQ4953838
No author found.
Publication date: 9 November 2000
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0601-toc.htm
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Intuitionistic validity in \(T\)-normal Kripke structures
- Counterfactuals and comparative possibility
- Predicate logics without the structure rules
- On groups and fields definable in o-minimal structures
- Polynomially solvable satisfiability problems
- Set theory. An introduction to independence proofs
- Classifying regular events in symbolic logic
- Provability interpretations of modal logic
- Logical and philosophical ideas in certain formal approaches to language
- Metamathematics of fuzzy logic
- The strength of some Martin-Löf type theories
- Classical and intuitionistic models of arithmetic
- Recursion theoretic properties of frequency computation and bounded queries
- The theory of the recursively enumerable weak truth-table degrees is undecidable
- Implicational formulas in intuitionistic logic
- Computational types from a logical perspective
- An Elementary Approach to the Fine Structure of L
- A logic stronger than intuitionism
- A well-ordering proof for Feferman's theoryT 0
- Fine hierarchies and Boolean terms
- Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik
- The fine structure of the constructible hierarchy
- The Picard group of noncommutative rings, in particular of orders
