Characterization, definability and separation via saturated models

Carlos Areces, Facundo Carreiro, Santiago Figueira. Characterization, definability and separation via saturated models. Theoretical Computer Science, 537:72-86, 2014. [doi]

Authors

Carlos Areces

This author has not been identified. Look up 'Carlos Areces' in Google

Facundo Carreiro

This author has not been identified. Look up 'Facundo Carreiro' in Google

Santiago Figueira

This author has not been identified. Look up 'Santiago Figueira' in Google