You are here

Logic Colloquium '99

Jan van Eijack, Vincent van Oostrom, and Albert Visser, editors
Publisher: 
Association for Symbolic Logic
Publication Date: 
2004
Number of Pages: 
208
Format: 
Paperback
Series: 
Lecture Notes in Logic
Price: 
40.00
ISBN: 
1-56881-203-5
Category: 
Proceedings
We do not plan to review this book.
Survey Articles:

Group Actions and Countable Models, by Greg Hjorth
Aspects of Geometric Model Theory, by Anand Pillay

Research Articles

The Intuitionist Arithmetical Hierarchy, by Wolfgang Curr
On Solvable Groups and Rings Definable in o-minimal Structures, by Mário J. Edmundo
Logical Topologies and Semantic Completeness, by Valentin Goranko
Valued Fields and Elimination of Imaginaries, by Deirdre Haskell
Simples Sets and ........ ideals under m-reducibility
Borel Irreducibility between Two Large Families of Borel Equivalence Relations, by Vladimir Kanovei^Michael Reeken
Linear Logic as a Framework for Specifying Sequent Calculus, by Dale Miller^Elaine Pimentel
Kripke Models of Certain Subtheries of Heyting Arithmetic, by Tomasz Polacik
From Bounded Structural Rules to Linear Logic Modalities, by Andeja Prijatelj
A Description of the Non-Sequential Execution of Petri Nets in Partially Commutative Linear Logic, by Christian Retoré
A Very Slow Growing Hierarchy for......., by Andreas Weiermann
First Order Logics of Individual Theories, by Rostilav E. Yavorsky
Tags: