default search action

combined dblp search
author search
venue search
publication search

ask others

Logic Colloquium 1995: Haifa, Israel

> Home > Conferences and Workshops > Logic Colloquium

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/1995
Johann A. Makowsky, Elena V. Ravve:
Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18, 1995. Lecture Notes in Logic 11, Springer 1998, ISBN 978-3-540-63994-7
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Becker95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Becker95
Howard Becker:
The Number of Path-Components of a Compact Subset of ℝ n. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/CholakDS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/CholakDS95
Peter Cholak, Rod Downey, Richard A. Shore:
Intervals Without Critical Triples. 17-43
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Cooper95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Cooper95
S. Barry Cooper:
Beyond Gödel's Theorem: Turing Nonrigidity Revisited. 44-50
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Dawar95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Dawar95
Anuj Dawar:
Types and Indiscernibles in Finite Models. 51-65
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Herzog95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Herzog95
Ivo Herzog:
Model Theory of Modules. 66-72
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/HodgesN95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/HodgesN95
Wilfrid Hodges, André Nies:
Noninterpretability of Infinite Linear Orders. 73-78
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/0001SS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/0001SS95
István Juhász, Lajos Soukup, Zoltán Szentmiklóssy:
Combinatorial Principles from Adding Cohen Reals. 79-103
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Krajicek95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Krajicek95
Jan Krajícek:
Extensions of Models of PV. 104-114
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Lynch95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Lynch95
James F. Lynch:
Convergence Laws for Random Graphs. 115-133
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Maddy95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Maddy95
Penelope Maddy:
V=L and Maximize. 134-152
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Makkai95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Makkai95
Michael Makkai:
Towards a Categorical Foundation of Mathematics. 153-190
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Marker95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Marker95
David Marker:
Strongly Minimal Sets and Geometry. 191-213
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Micali95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Micali95
Silvio Micali:
Computationally-Sound Proofs. 214-268
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Pentus95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Pentus95
Mati Pentus:
Lambek Calculus and Formal Languages. 269-272
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Peterzil95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Peterzil95
Ya'acov Peterzil:
Zil'ber's Trichotomy and o-minimal Structures. 273-274
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Rathjen95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Rathjen95
Michael Rathjen:
The Higher Infinite in Proof Theory. 275-304
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Shelah95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Shelah95
Saharon Shelah:
There May Be No Nowhere Dense Ultrafilter. 305-324
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Stolboushkin95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Stolboushkin95
Alexei P. Stolboushkin:
Towards Recursive Model Theory. 325-338
- view
  authority control:
- export record
  dblp key:
  - conf/logicColl/Wainer95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/logicColl/Wainer95
Stanley S. Wainer:
Accessible Segments of the Fast Growing Hierarchy. 339-348

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.