Logic Colloquium - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 40 from 40

1998

Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18, 1995Johann A. Makowsky, Elena V. Ravve, editors, Volume 11 of Lecture Notes in Logic, Springer, 1998. [doi]

1995

Combinatorial Principles from Adding Cohen RealsIstván Juhász 0001, Lajos Soukup, Zoltán Szentmiklóssy. logicColl 1998: 79-103 [doi]

The Number of Path-Components of a Compact Subset of ℝ nHoward Becker. logicColl 1998: 1-16 [doi]

Intervals Without Critical TriplesPeter Cholak, Rod Downey, Richard A. Shore. logicColl 1998: 17-43 [doi]

Beyond Gödel's Theorem: Turing Nonrigidity RevisitedS. Barry Cooper. logicColl 1998: 44-50 [doi]

Types and Indiscernibles in Finite ModelsAnuj Dawar. logicColl 1998: 51-65 [doi]

Model Theory of ModulesIvo Herzog. logicColl 1998: 66-72 [doi]

Noninterpretability of Infinite Linear OrdersWilfrid Hodges, André Nies. logicColl 1998: 73-78 [doi]

Extensions of Models of PVJan Krajícek. logicColl 1998: 104-114 [doi]

Convergence Laws for Random GraphsJames F. Lynch. logicColl 1998: 115-133 [doi]

V=L and MaximizePenelope Maddy. logicColl 1998: 134-152 [doi]

Towards a Categorical Foundation of MathematicsMichael Makkai. logicColl 1998: 153-190 [doi]

Strongly Minimal Sets and GeometryDavid Marker. logicColl 1998: 191-213 [doi]

Computationally-Sound ProofsSilvio Micali. logicColl 1998: 214-268 [doi]

Lambek Calculus and Formal LanguagesMati Pentus. logicColl 1998: 269-272 [doi]

Zil'ber's Trichotomy and o-minimal StructuresYa'acov Peterzil. logicColl 1998: 273-274 [doi]

The Higher Infinite in Proof TheoryMichael Rathjen. logicColl 1998: 275-304 [doi]

There May Be No Nowhere Dense UltrafilterSaharon Shelah. logicColl 1998: 305-324 [doi]

Towards Recursive Model TheoryAlexei P. Stolboushkin. logicColl 1998: 325-338 [doi]

Accessible Segments of the Fast Growing HierarchyStanley S. Wainer. logicColl 1998: 339-348 [doi]

1987

Logic Colloquium 85, Orsay, FranceElsevier, 1987.

1985

Almost strongly minimal totally categorial theoriesG. Ahlbrandt. logicColl 1987: 17-32

On Lascar rank in non-multidimensional omega-stable theoriesAndreas Baudisch. logicColl 1987: 33-52

Geometrical stability theorySteven Buechler. logicColl 1987: 53-66

Homogeneous directed graphs. The imprimitive caseGregory L. Cherlin. logicColl 1987: 67-88

Concepts mathématiques et informatiques formalisés dans le calcul des constructionsThierry Coquand, Gérard P. Huet. logicColl 1987: 123-146

Proofs of partial correctness for iterative and recursive computationsBruno Courcelle. logicColl 1987: 89-110

Jean van HeijenoortPh. de Rouilhan. logicColl 1987: 13-16

Jean van Heijenoort (1912-1986)A. Burdman Feferman, Solomon Feferman. logicColl 1987: 1-8

La mouche dans la bouteilleJean-Yves Girard. logicColl 1987: 9-12

Weakly normal groupsU. Hrushovski, Anand Pillay. logicColl 1987: 233-244

Arithmetical truth and hidden higher-order conceptsD. Isaacson. logicColl 1987: 147-170

Some proof-theoretic contributions to theories of setsJ. Jaeger. logicColl 1987: 171-192

Logic and conceptual relationships in mathematicsKenneth L. Manders. logicColl 1987: 193-212

A propos de groues stablesBruno Poizat. logicColl 1987: 245-266

Pi::2::-models of extensions of Kripke-Platek set theoryPeter Päppinghaus. logicColl 1987: 213-232

Logique et géométrie algébrique réelleMarie-Françoise Roy. logicColl 1987: 267-280

Some aspects of categorial semantics: sheves and glueingAndre Scedrov. logicColl 1987: 281-302

Critères d indépendence d équations diophantiennes de fragments de l alrithmétiqueUlf R. Schmerl. logicColl 1987: 303

Système et Métasystème chez RussellJean van Heijenoort. logicColl 1987: 111-122

Sign in or sign up to see more results.

runs on WebDSL