George Boolos

Publication Activity (10 Years)

Years Active: 1968-1997
Publications (10 Years): 0

Publications

George Boolos
Constructing Cantorian counterexamples. J. Philos. Log. 26 (3) (1997)
Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser
Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. Ann. Pure Appl. Log. 75 (1-2) (1995)
George Boolos
Frege's theorem and the Peano postulates. Bull. Symb. Log. 1 (3) (1995)
George Boolos
The Analytical Completeness of Dzhaparidze's Polymodal Logics. Ann. Pure Appl. Log. 61 (1-2) (1993)
George Boolos, Giovanni Sambin
Provability: the emergence of a mathematical modality. Stud Logica 50 (1) (1991)
George Boolos
Alphabetical order. Notre Dame J. Formal Log. 29 (2) (1988)
George Boolos, Vann McGee
The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every Interpretation. J. Symb. Log. 52 (1) (1987)
George Boolos
A curious inference. J. Philos. Log. 16 (1) (1987)
George Boolos
1-consistency and the diamond. Notre Dame J. Formal Log. 26 (4) (1985)
George Boolos, Giovanni Sambin
An incomplete system of modal logic. J. Philos. Log. 14 (4) (1985)
George Boolos
Don't eliminate cut. J. Philos. Log. 13 (4) (1984)
George Boolos, Sy D. Friedman
Annual Meeting of the Association for Symbolic Logic: Boston 1983. J. Symb. Log. 49 (4) (1984)
George Boolos
Trees and finite satisfiability: proof of a conjecture of Burgess. Notre Dame J. Formal Log. 25 (3) (1984)
George Boolos
On the Nonexistence of Certain Normal Forms in the Logic of Provability. J. Symb. Log. 47 (3) (1982)
George Boolos
Extremely Undecidable Sentences. J. Symb. Log. 47 (1) (1982)
George Boolos, Sy D. Friedman, Harold Hodes
Meeting of the Association for Symbolic Logic: New York 1979. J. Symb. Log. 46 (2) (1981)
George Boolos
Provability, truth, and modal logic. J. Philos. Log. 9 (1) (1980)
George Boolos
Reflection Principles and Iterated Consistency Assertions. J. Symb. Log. 44 (1) (1979)
George Boolos
On Deciding the Provability of Certain Fixed Point Statements. J. Symb. Log. 42 (2) (1977)
George Boolos
On Deciding the Truth of Certain Statements Involving the Notion of Consistency. J. Symb. Log. 41 (4) (1976)
George Boolos
A proof of the Löwenheim-Skolem theorem. Notre Dame J. Formal Log. 11 (1) (1970)
George Boolos, Hilary Putnam
Degrees of Unsolvability of Constructible Sets of Integers. J. Symb. Log. 33 (4) (1968)