Connections with Logic and Set Theory