2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02
From MaRDI portal
Publication:4432544
DOI10.1017/S1079898600004819zbMath1024.03502OpenAlexW1563874275MaRDI QIDQ4432544
No author found.
Publication date: 27 October 2003
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0901-toc.htm
Collections of abstracts of lectures (00B05) 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- One unary function says less than two in existential second order logic
- Weak density and cupping in the d-r.e. degrees
- How truthlike can a predicate be? A negative result
- Henkin quantifiers and complete problems
- On uniform circuit complexity
- Nonmonotonic reasoning, preferential models and cumulative logics
- Decidability problems in languages with Henkin quantifiers
- The semantics of entailment. III
- Uncountable universal locally finite groups
- Logical and philosophical ideas in certain formal approaches to language
- On the r. e. predecessors of d. r. e. degrees
- Metamathematics of fuzzy logic
- Obstacle avoidance for a mobile robot: A neuro-fuzzy approach
- Formalizing non-termination of recursive programs
- Types, tableaus, and Gödel's God
- On relative enumerability of Turing degrees
- Intuitionistic logic and implicit definability
- Peirce's rule in natural deduction.
- Algebraic foundations of many-valued reasoning
- Perron-Frobenius theory over real closed fields and fractional power series expansions
- Generalizing theorems in real closed fields
- Fragments of HA based on \(\Sigma_ 1\)-induction
- Nonmonotonic Logics and Semantics
- Locus Solum: From the rules of logic to the logic of rules
- Explicit Provability and Constructive Semantics
- Self-verifying axiom systems, the incompleteness theorem and related reflection principles
- Number systems with simplicity hierarchies: a generalization of Conway's theory of surreal numbers
- On a Formalization of the Non-Definedness Notion
- On the semantics of the Henkin quantifier
- A filter lambda model and the completeness of type assignment
- Locally finite theories
- Accessible Independence Results for Peano Arithmetic
- The relative efficiency of propositional proof systems
- Expansions of dense linear orders with the intermediate value property
- Definable sets in Boolean-ordered o-minimal structures. I
- Relativized logspace and generalized quantifiers over finite ordered structures
- Small theories of Boolean ordered o-minimal structures
- Definable sets in boolean ordered o-minimal structures. II
- How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
- An incomplete logic containing S4
- Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
- How to characterize provably total functions by local predicativity
- Semantic analysis of tense logics
- Elementary intuitionistic theories
- Quantum logic, Hilbert space, revision theory
