George Boolos

According to our database, George Boolos authored at least 25 papers between 1968 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

Constructing Cantorian counterexamples.

George Boolos

J. Philos. Log., 1997

1995

Frege's theorem and the Peano postulates.

George Boolos

Bull. Symb. Log., 1995

Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994.

Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser

Ann. Pure Appl. Log., 1995

1993

The Analytical Completeness of Dzhaparidze's Polymodal Logics.

George Boolos

Ann. Pure Appl. Log., 1993

1991

Provability: the emergence of a mathematical modality.

George Boolos, Giovanni Sambin

Stud Logica, 1991

1988

Alphabetical order.

George Boolos

Notre Dame J. Formal Log., 1988

1987

The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every Interpretation.

George Boolos, Vann McGee

J. Symb. Log., 1987

A curious inference.

George Boolos

J. Philos. Log., 1987

Computability and logic (2. ed.).

George Boolos, Richard C. Jeffrey

Cambridge University Press, ISBN: 978-0-521-29967-1, 1987

1985

1-consistency and the diamond.

George Boolos

Notre Dame J. Formal Log., 1985

An incomplete system of modal logic.

George Boolos, Giovanni Sambin

J. Philos. Log., 1985

1984

Trees and finite satisfiability: proof of a conjecture of Burgess.

George Boolos

Notre Dame J. Formal Log., 1984

Annual Meeting of the Association for Symbolic Logic: Boston 1983.

George Boolos, Sy D. Friedman

J. Symb. Log., 1984

Don't eliminate cut.

George Boolos

J. Philos. Log., 1984

1982

On the Nonexistence of Certain Normal Forms in the Logic of Provability.

George Boolos

J. Symb. Log., 1982

Extremely Undecidable Sentences.

George Boolos

J. Symb. Log., 1982

1981

Meeting of the Association for Symbolic Logic: New York 1979.

George Boolos, Sy D. Friedman, Harold Hodes

J. Symb. Log., 1981

1980

Provability, truth, and modal logic.

George Boolos

J. Philos. Log., 1980

1979

Reflection Principles and Iterated Consistency Assertions.

George Boolos

J. Symb. Log., 1979

1977

On Deciding the Provability of Certain Fixed Point Statements.

George Boolos

J. Symb. Log., 1977

1976

On Deciding the Truth of Certain Statements Involving the Notion of Consistency.

George Boolos

J. Symb. Log., 1976

1975

On Kalmar's consistency proof and a generalization of the notion of ω-consistency.

George Stephen Boolos

Arch. Math. Log., 1975

1974

Computability and logic.

George Boolos, Richard C. Jeffrey

Cambridge Univ. Press, ISBN: 052120402X, 1974

1970

A proof of the Löwenheim-Skolem theorem.

George Boolos

Notre Dame J. Formal Log., 1970

1968

Degrees of Unsolvability of Constructible Sets of Integers.

George Boolos, Hilary Putnam

J. Symb. Log., 1968