You are here

Logic Colloquium '99

Publisher: 
Association for Symbolic Logic
Number of Pages: 
208
Price: 
40.00
ISBN: 
1-56881-203-5
Date Received: 
Wednesday, September 1, 2004
Reviewable: 
Include In BLL Rating: 
Reviewer Email Address: 
Jan van Eijack, Vincent van Oostrom, and Albert Visser, editors
Series: 
Lecture Notes in Logic
Publication Date: 
2004
Format: 
Paperback
Category: 
Proceedings
Tags: 
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
Publish Book: 
Modify Date: 
Wednesday, October 19, 2005

Dummy View - NOT TO BE DELETED