Classifying toposes for first-order theories

[1]  Glynn Winskel,et al.  Bistructures, bidomains, and linear logic , 2000, Proof, Language, and Interaction.

[2]  Andrew D. Gordon,et al.  Compilation and Equivalence of Imperative Objects , 1999, J. Funct. Program..

[3]  Peter Bro Miltersen.  Error correcting codes, perfect hashing circuits, and deterministic dynamic dictionaries , 1998, SODA '98.

[4]  Erik Palmgren,et al.  Minimal Models of Heyting Arithmetic , 1997, J. Symb. Log..

[5]  Robert Pollack,et al.  How to Believe a Machine-Checked Proof , 1997 .

[6]  Kim Guldstrand Larsen,et al.  Compositional Safety Logics , 1997 .

[7]  Søren Riis,et al.  Dictionaries on AC 0 RAMs : Query time Θ ( √ log n / log log n ) is necessary and sufficient ∗ , 1997 .

[8]  Erik Palmgren.  Constructive Sheaf Semantics , 1997, Math. Log. Q..

[9]  S. Lane,et al.  Sheaves In Geometry And Logic , 1992 .

[10]  J. Bell.  STONE SPACES (Cambridge Studies in Advanced Mathematics 3) , 1987 .

[11]  A. Joyal,et al.  An extension of the Galois theory of Grothendieck , 1984 .

[12]  Boolean classifying topoi , 1983 .

[13]  André Joyal,et al.  La logique des topos , 1981, Journal of Symbolic Logic.

[14]  Craig Kalicki.  Infinitary propositional intuitionistic logic , 1980, Notre Dame J. Formal Log..

[15]  P. Johnstone.  Open maps of toposes , 1980 .

[16]  D. D. Jongh,et al.  A Class of Intuitionistic Connectives , 1980 .

[17]  D. Scott,et al.  Sheaves and logic , 1979 .

[18]  Mark E. Nadel.  Infinitary intuitionistic logic from a classical point of view , 1978 .

[19]  M. Makkai,et al.  First order categorical logic , 1977 .

[20]  A. Kock.  Universal projective geometry via topos theory , 1976 .

[21]  R. Diaconescu,et al.  Change of base for toposes with generators , 1975 .

[22]  T. Frayne.  Review: H. Gaifman, Infinite Boolean Polynomials I; A. W. Hales, On the Non-Existence of Free Complete Boolean Algebras , 1967 .

[23]  R. Solovay.  New proof of a theorem of Gaifman and Hales , 1966 .

[24]  A. Hales,et al.  On the non-existence of free complete Boolean algebras , 1964 .

[25]  Haim Gaifman,et al.  Infinite Boolean polynomials I , 1964 .