Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDLogic Colloquium 1995: Haifa, Israel
- 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
- Howard Becker:
The Number of Path-Components of a Compact Subset of ℝ n. 1-16 - Peter Cholak, Rod Downey, Richard A. Shore:
Intervals Without Critical Triples. 17-43 - S. Barry Cooper:
Beyond Gödel's Theorem: Turing Nonrigidity Revisited. 44-50 - Anuj Dawar:
Types and Indiscernibles in Finite Models. 51-65 - Ivo Herzog:
Model Theory of Modules. 66-72 - Wilfrid Hodges, André Nies:
Noninterpretability of Infinite Linear Orders. 73-78 - István Juhász, Lajos Soukup, Zoltán Szentmiklóssy:
Combinatorial Principles from Adding Cohen Reals. 79-103 - Jan Krajícek:
Extensions of Models of PV. 104-114 - James F. Lynch:
Convergence Laws for Random Graphs. 115-133 - Penelope Maddy:
V=L and Maximize. 134-152 - Michael Makkai:
Towards a Categorical Foundation of Mathematics. 153-190 - David Marker:
Strongly Minimal Sets and Geometry. 191-213 - Silvio Micali:
Computationally-Sound Proofs. 214-268 - Mati Pentus:
Lambek Calculus and Formal Languages. 269-272 - Ya'acov Peterzil:
Zil'ber's Trichotomy and o-minimal Structures. 273-274 - Michael Rathjen:
The Higher Infinite in Proof Theory. 275-304 - Saharon Shelah
:
There May Be No Nowhere Dense Ultrafilter. 305-324 - Alexei P. Stolboushkin:
Towards Recursive Model Theory. 325-338 - Stanley S. Wainer:
Accessible Segments of the Fast Growing Hierarchy. 339-348
a service of 
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.
last updated on 2022-01-14 23:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
