Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995

Editor(s) Johann A. Makowsky, Elena V. Ravve

Lecture Notes Logic, 11: 348pp. (1998).

Abstract

No abstract available

Hide All Book Information -

Information

Lecture Notes in Logic, Volume 11

348 pp.

Published: 1998

First available in Project Euclid: 23 February 2009

MathSciNet: MR1690697

ISBN: 3540639942

Subjects:

Primary: 03 , 04 , 05 , 06

Secondary: 12 , 14 , 18 , 68 , 94

Lecture Notes in Logic

< Previous Volume | Next Volume >

Association for Symbolic Logic

TABLE OF CONTENTS
View All Abstracts +

Miscellaneous Frontmatter

Lecture Notes in Logic Vol. 11, - (1998). Open Access

The Number of Path-Components of a Compact Subset of $R\sp n$

H. Becker

Lecture Notes in Logic Vol. 11, 1-16 (1998). Open Access

Intervals without Critical Triples

P. Cholak , R. Downey , R. Shore

Lecture Notes in Logic Vol. 11, 17-43 (1998). Open Access

Beyond Gödel's Theorem: Turing Nonrigidity Revisited

S. B. Cooper

Lecture Notes in Logic Vol. 11, 44-50 (1998). Open Access

Types and Indescernibles in Finite Models

A. Dawar

Lecture Notes in Logic Vol. 11, 51-65 (1998). Open Access

Model Theory of Modules

I. Herzog

Lecture Notes in Logic Vol. 11, 66-72 (1998). Open Access

Noninterpretability of Infinite Linear Orders

W. Hodges , A. Nies

Lecture Notes in Logic Vol. 11, 73-78 (1998). Open Access

Combinatorial Principles from Adding Cohen Reals

I. Juhász , L. Soukup , Z. Szentmiklóssy

Lecture Notes in Logic Vol. 11, 79-103 (1998). Open Access

Extensions of models of PV

J. Krajíček

Lecture Notes in Logic Vol. 11, 104-114 (1998). Open Access

Convergence Laws for Random Graphs

J. F. Lynch

Lecture Notes in Logic Vol. 11, 115-133 (1998). Open Access

$V=L$ and Maximize

P. Maddy

Lecture Notes in Logic Vol. 11, 134-152 (1998). Open Access

Towards a Categorical Foundation of Mathematics

M. Makkai

Lecture Notes in Logic Vol. 11, 153-190 (1998). Open Access

Strongly Minimal Sets and Geometry

D. Marker

Lecture Notes in Logic Vol. 11, 191-213 (1998). Open Access

Computationally-Sound Proofs

S. Micali

Lecture Notes in Logic Vol. 11, 214-268 (1998). Open Access

Lambek Calculus and Formal Languages

M. Pentus

Lecture Notes in Logic Vol. 11, 269-272 (1998). Open Access

Zil'ber's Trichotomy and o-minimal Structures

Y. Peterzil

Lecture Notes in Logic Vol. 11, 273-274 (1998). Open Access

The Higher Infinite in Proof Theory

M. Rathjen

Lecture Notes in Logic Vol. 11, 275-304 (1998). Open Access

There May Be No Nowhere Dense Ultrafilter

S. Shelah

Lecture Notes in Logic Vol. 11, 305-324 (1998). Open Access

Towards Recursive Model Theory

A. P. Stolboushkin

Lecture Notes in Logic Vol. 11, 325-338 (1998). Open Access

Accessible Segments of the Fast Growing Hierarchy

S. S. Wainer

Lecture Notes in Logic Vol. 11, 339-348 (1998). Open Access

Miscellaneous Backmatter

Lecture Notes in Logic Vol. 11, - (1998). Open Access

Abstract

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS