The following pages link to George Boolos (Q685072):
Displayed 50 items.
- The analytical completeness of Dzhaparidze's polymodal logics (Q685073) (← links)
- Don't eliminate cut (Q1057847) (← links)
- An incomplete system of modal logic (Q1073780) (← links)
- 1-consistency and the diamond (Q1074577) (← links)
- A curious inference (Q1091390) (← links)
- Alphabetical order (Q1105624) (← links)
- Provability, truth, and modal logic (Q1135843) (← links)
- Omega-consistency and the diamond (Q1153905) (← links)
- Provability: The emergence of a mathematical modality (Q1176093) (← links)
- Constructing Cantorian counterexamples (Q1362586) (← links)
- Trees and finite satisfiability: proof of a conjecture of Burgess (Q2266003) (← links)
- A proof of the Löwenheim-Skolem theorem (Q2543818) (← links)
- (Q2754660) (← links)
- (Q2968955) (← links)
- (Q3148848) (← links)
- Computability and Logic (Q3525239) (← links)
- (Q3607747) (← links)
- The degree of the set of sentences of predicate provability logic that are true under every interpretation (Q3768873) (← links)
- (Q3861353) (← links)
- Provability in arithmetic and a schema of Grzegorczyk (Q3879211) (← links)
- On systems of modal logic with provability interpretations (Q3927210) (← links)
- Extremely undecidable sentences (Q3944575) (← links)
- On the nonexistence of certain normal forms in the logic of provability (Q3952082) (← links)
- (Q3998431) (← links)
- (Q4052072) (← links)
- Arithmetical Functions and Minimalization (Q4052096) (← links)
- On Kalmar's consistency proof and a generalization of the notion of ω-consistency (Q4087150) (← links)
- On deciding the truth of certain statements involving the notion of consistency (Q4132522) (← links)
- On deciding the provability of certain fixed point statements (Q4159028) (← links)
- (Q4196401) (← links)
- Reflection principles and iterated consistency assertions (Q4196402) (← links)
- (Q4208518) (← links)
- (Q4208520) (← links)
- (Q4208521) (← links)
- (Q4208527) (← links)
- (Q4227561) (← links)
- (Q4258430) (← links)
- (Q4266051) (← links)
- (Q4397069) (← links)
- (Q4523457) (← links)
- (Q4523458) (← links)
- (Q4523459) (← links)
- (Q4523460) (← links)
- (Q4523461) (← links)
- (Q4523462) (← links)
- (Q4523463) (← links)
- (Q4523464) (← links)
- (Q4523465) (← links)
- (Q4523466) (← links)
- (Q4523467) (← links)