# This Week In Logic at CUNY

Computational Logic Seminar
Tuesday, April 16, 2013 2:00 pm
Speaker: Che-Ping Su The University of Melbourne
Title: Justification Logic for Argumentation
A cut $I$ in a model $M$ of PA is pseudostandrd if there is an $N$ such that $(M,I)$ is elementary
equivalent to $(N,omega)$. I will discuss some preliminary results in model theory of pseudostandard cuts.