Logic Colloquium '90: ASL Summer Meeting in Helsinki

Editor(s) J. Oikkonen, J. Väänänen

Lecture Notes Logic, 2: 305pp. (1993).

Abstract

No abstract available

Hide All Book Information -

Information

Lecture Notes in Logic, Volume 2

305 pp.

Published: 1993

First available in Project Euclid: 23 February 2009

MathSciNet: MR1279830

ISBN: 3540570942

Subjects:

Primary: OOB20

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. 2, - (1993). Open Access

A note on the ordinal analysis of KPM

Wilfried Buchholz

Lecture Notes in Logic Vol. 2, 1-9 (1993). Open Access

On the geometry of $U$-rank $2$ types

Steven Buechler , Ludomir Newelski

Lecture Notes in Logic Vol. 2, 10-24 (1993). Open Access

Definability and global degree theory

S. Barry Cooper

Lecture Notes in Logic Vol. 2, 25-45 (1993). Open Access

About the irreflexivity hypothesis for free left distributive magmas

Patrick Dehornoy

Lecture Notes in Logic Vol. 2, 46-61 (1993). Open Access

On $\omega_1$-complete filters

Hans-Dieter Donder

Lecture Notes in Logic Vol. 2, 62-65 (1993). Open Access

Labelled deductive systems: a position paper

D. M. Gabbay

Lecture Notes in Logic Vol. 2, 66-68 (1993). Open Access

Temporal expressive completeness in the presence of gaps

D. M. Gabbay , I. M. Hodkinson , M. A. Reynolds

Lecture Notes in Logic Vol. 2, 89-121 (1993). Open Access

New foundations for mathematical theories

Jaakko Hintikka

Lecture Notes in Logic Vol. 2, 122-144 (1993). Open Access

Absoluteness for projective sets

Haim Judah

Lecture Notes in Logic Vol. 2, 145-154 (1993). Open Access

A division algorithm for the free left distributive algebra

Richard Laver

Lecture Notes in Logic Vol. 2, 155-162 (1993). Open Access

Gentzen-type systems and resolution rule. II. Predicate logic

Grigori Mints

Lecture Notes in Logic Vol. 2, 163-190 (1993). Open Access

An intuitionistic theory of lawlike, choice and lawless sequences

Joan Rand Moschovakis

Lecture Notes in Logic Vol. 2, 191-209 (1993). Open Access

Sense and denotation as algorithm and value

Yiannis N. Moschovakis

Lecture Notes in Logic Vol. 2, 210-249 (1993). Open Access

A transfinite version of Puiseux's theorem, with applications to real closed fields

M. -H. Mourgues , J. -P. Ressayre

Lecture Notes in Logic Vol. 2, 250-258 (1993). Open Access

On similarities of complete theories

T. G. Mustafin

Lecture Notes in Logic Vol. 2, 259-265 (1993). Open Access

Decidability questions for theories of modules

Françoise Point

Lecture Notes in Logic Vol. 2, 266-280 (1993). Open Access

On ${\rm CH}+2^{\aleph_1}\to(\alpha)^2_2$ for $\alpha<\omega_2$

Saharon Shelah

Lecture Notes in Logic Vol. 2, 281-289 (1993). Open Access

On the structure of gamma degrees

Alan P. Silver

Lecture Notes in Logic Vol. 2, 290-305 (1993). Open Access

Miscellaneous Backmatter

Lecture Notes in Logic Vol. 2, - (1993). Open Access

Abstract

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS