Logic Colloquium ’95 - Lecture Notes in Logic
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540639947, 9783662221082

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extensions of Models of PV

Logic Colloquium ’95 - Lecture Notes in Logic ◽

10.1007/978-3-662-22108-2_8 ◽

1998 ◽

pp. 104-114 ◽

Author(s):

Jan Krajíček

Download Full-text

Noninterpretability of Infinite Linear Orders

Logic Colloquium ’95 - Lecture Notes in Logic ◽

10.1007/978-3-662-22108-2_6 ◽

1998 ◽

pp. 73-78

Author(s):

Wilfrid Hodges ◽

André Nies

Keyword(s):

Linear Orders ◽

Infinite Linear

Download Full-text

Types and Indiscernibles in Finite Models

Logic Colloquium ’95 - Lecture Notes in Logic ◽

10.1007/978-3-662-22108-2_4 ◽

1998 ◽

pp. 51-65 ◽

Author(s):

Anuj Dawar

Keyword(s):

Download Full-text

Intervals Without Critical Triples

Logic Colloquium ’95 - Lecture Notes in Logic ◽

10.1007/978-3-662-22108-2_2 ◽

1998 ◽

pp. 17-43

Author(s):

Peter Cholak ◽

Rod Downey ◽

Richard Shore

Download Full-text

Lambek Calculus and Formal Languages

Logic Colloquium ’95 - Lecture Notes in Logic ◽

10.1007/978-3-662-22108-2_14 ◽

1998 ◽

pp. 269-272

Author(s):

Mati Pentus

Keyword(s):

Formal Languages ◽

Lambek Calculus

Download Full-text

Beyond Gödel’s Theorem: Turing Nonrigidity Revisited

Logic Colloquium ’95 - Lecture Notes in Logic ◽

10.1007/978-3-662-22108-2_3 ◽

1998 ◽

pp. 44-50 ◽

Author(s):

S. Barry Cooper

Keyword(s):

Gödel’S Theorem

Download Full-text

Strongly Minimal Sets and Geometry

Logic Colloquium ’95 - Lecture Notes in Logic ◽

10.1007/978-3-662-22108-2_12 ◽

1998 ◽

pp. 191-213

Author(s):

David Marker

Keyword(s):

Download Full-text

Model Theory of Modules

Logic Colloquium ’95 - Lecture Notes in Logic ◽

10.1007/978-3-662-22108-2_5 ◽

1998 ◽

pp. 66-72

Author(s):

Ivo Herzog

Keyword(s):

Download Full-text

Accessible Segments of the Fast Growing Hierarchy

Logic Colloquium ’95 - Lecture Notes in Logic ◽

10.1007/978-3-662-22108-2_19 ◽

1998 ◽

pp. 339-348

Author(s):

Stanley Scott Wainer

Keyword(s):

Download Full-text

V=L and Maximize

Logic Colloquium ’95 - Lecture Notes in Logic ◽

10.1007/978-3-662-22108-2_10 ◽

1998 ◽

pp. 134-152 ◽

Author(s):

Penelope Maddy

Download Full-text