Skip to content

Athar Abdul-Quader

Mathematical Logic / Models of Arithmetic

  • Home
  • About
  • Research
  • Talks
  • Teaching

computability

Decidability and Definability

January 15, 2019January 15, 2019 ~ Athar ~ Leave a comment

This post is an extension of the previous one; I want to address Tarski’s Undefinability Theorem using computability-theoretic methods. Continue reading →

Blog at WordPress.com.
  • Follow Following
    • Athar Abdul-Quader
    • Already have a WordPress.com account? Log in now.
    • Athar Abdul-Quader
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Report this content
    • View site in Reader
    • Manage subscriptions
    • Collapse this bar