Logic Colloquium’ 96 - Lecture Notes in Logic
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540646686, 9783662221105

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Simple groups definable in O-minimal structures

Logic Colloquium’ 96 - Lecture Notes in Logic ◽

10.1007/978-3-662-22110-5_8 ◽

1998 ◽

pp. 211-218 ◽

Author(s):

Ya’acov Peterzil ◽

Anand Pillay ◽

Sergei Starchenko

Keyword(s):

Download Full-text

Kernels and cohomology groups for some finite covers

Logic Colloquium’ 96 - Lecture Notes in Logic ◽

10.1007/978-3-662-22110-5_3 ◽

1998 ◽

pp. 79-99 ◽

Author(s):

David M. Evans ◽

Darren G. D. Gray

Keyword(s):

Cohomology Groups ◽

Download Full-text

Rather Classless, Highly Saturated Models of Peano Arithmetic

Logic Colloquium’ 96 - Lecture Notes in Logic ◽

10.1007/978-3-662-22110-5_10 ◽

1998 ◽

pp. 237-246 ◽

Author(s):

J. H. Schmerl

Keyword(s):

Peano Arithmetic ◽

Saturated Models

Download Full-text

Satisfaction classes and automorphisms of models of PA

Logic Colloquium’ 96 - Lecture Notes in Logic ◽

10.1007/978-3-662-22110-5_6 ◽

1998 ◽

pp. 159-169

Author(s):

Roman Kossak

Keyword(s):

Satisfaction Classes

Download Full-text

Free monoid completeness of the Lambek calculus allowing empty premises

Logic Colloquium’ 96 - Lecture Notes in Logic ◽

10.1007/978-3-662-22110-5_7 ◽

1998 ◽

pp. 171-209 ◽

Author(s):

Mati Pentus

Keyword(s):

Free Monoid ◽

Lambek Calculus

Download Full-text

Arithmetizing proofs in analysis

Logic Colloquium’ 96 - Lecture Notes in Logic ◽

10.1007/978-3-662-22110-5_5 ◽

1998 ◽

pp. 115-158 ◽

Author(s):

Ulrich Kohlenbach

Download Full-text

On “star” schemata of Kossak and Paris

Logic Colloquium’ 96 - Lecture Notes in Logic ◽

10.1007/978-3-662-22110-5_4 ◽

1998 ◽

pp. 101-114 ◽

Author(s):

Vladimir Kanovei

Download Full-text

Incompleteness theorems and % MathType!MTEF!2!1!+- % feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn % hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr % 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9 % vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x % fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaaeaaaaaaaaa8 % qacaWGtbWdamaaDaaaleaapeGaaGOmaaWdaeaapeGaamyAaaaaaaa!3901! $$ S_2^i $$ versus % MathType!MTEF!2!1!+- % feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn % hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr % 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9 % vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x % fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaaeaaaaaaaaa8 % qacaWGtbWdamaaDaaaleaapeGaaGOmaaWdaeaapeGaamyAaiabgUca % Riaaigdaaaaaaa!3A9E! $$ S_2^{i + 1} $$

Logic Colloquium’ 96 - Lecture Notes in Logic ◽

10.1007/978-3-662-22110-5_11 ◽

1998 ◽

pp. 247-261

Author(s):

Gaisi Takeuti

Keyword(s):

Incompleteness Theorems

Download Full-text

Complete Sets and Structure in Subrecursive Classes

Logic Colloquium’ 96 - Lecture Notes in Logic ◽

10.1007/978-3-662-22110-5_2 ◽

1998 ◽

pp. 45-77 ◽

Author(s):

Harry Buhrman ◽

Leen Torenvliet

Keyword(s):

Download Full-text

Two-Dimensional Temporal Logic

Logic Colloquium’ 96 - Lecture Notes in Logic ◽

10.1007/978-3-662-22110-5_9 ◽

1998 ◽

pp. 219-236 ◽

Author(s):

Mark Reynolds

Keyword(s):

Temporal Logic ◽

Two Dimensional

Download Full-text