| A NOTE ON AXIOMS FOR INFINITE-GENERIC STRUCTURES (2008) | |||||||||||||
Abstract | |||||||||||||
| In this note we give some natural examples of theories T in countable logics L such that the class GT of infinite-generic structures for T is not axiomatizable by a single sentence of LW1> w. The point of the examples is to provide a contrast to a certain phenomenon recently observed in model-theory, concerning the assignment | |||||||||||||
Publication details | |||||||||||||
| |||||||||||||