1 . ▁▁▁ 1 9 9 0 b , ▁Review ▁of ▁V . ▁A . ▁U sp ens ky , ▁Gö del ' s ▁In comple ten ess ▁Theorem , ▁Journal ▁of ▁Symbol ic ▁Log ic ▁ 5 5 : ▁ 8 8 9 – 8 9 1 . ▁▁▁ 1 9 9 0 c , ▁" The ▁standard ▁of ▁equality ▁of ▁numbers " ▁in ▁Bool os , ▁G ., ▁ed ., ▁Mean ing ▁and ▁Method : ▁Ess ays ▁in ▁Honor ▁of ▁Hil ary ▁Put nam . ▁Cambridge ▁Un iv . ▁Press : ▁ 2 6 1 – 2 7 8 . ▁L LL ; ▁F PM : ▁ 2 3 4 – 2 5 4 . ▁▁▁ 1 9 9 1 , ▁" Z o oming ▁down ▁the ▁sli pp ery ▁slope ," ▁N ous ▁ 2 5 : ▁ 6 9 5 – 7 0 6 . ▁L LL . ▁▁▁ 1 9 9 1 a ▁( with ▁Giovanni ▁S amb in ), ▁" Pro v ability : ▁The ▁emer gence ▁of ▁a ▁mathematical ▁mod ality ," ▁Stud ia ▁Log ica ▁ 5 0 : ▁ 1 – 2 3 . ▁▁▁ 1 9 9 3 , ▁" The ▁analyt ical ▁comple ten ess ▁of ▁D zh ap ar id ze ' s ▁polym od al ▁log ics ," ▁Ann als ▁of ▁P ure ▁and ▁App lied ▁Log ic ▁ 6 1 : ▁ 9 5 – 1 1 1 . ▁▁ 1 9 9 3 a , ▁" Wh ence