I am interested in properties (e.g. known model theoretic notions, notions studied in computable structure theory, among others) witnessed by models of theories such as PA or ZF and their subtheories. In particular, I aim to understand how some notions native to theories of their models can be expressed (also: generalized or weakened) and studied in some broader context.