Talk:Łoś-Vaught Test

I've hunted around for this (i.e. looked it up on wikipedia :-) and I'm not sure whether this is the same as the Los-Vaught Test or Morley's Categoricity Theorem, or the Tarski-Vaught test. We need a fair amount of background added to ProofWiki (i.e. definitions, alternative names for stuff, more results this depends on, etc.) to support this - but it appears that we're approaching the frontiers here! Any chance of some background? --prime mover 12:05, 1 June 2011 (CDT)

It's the same thing as the Łoś–Vaught test. It's not the same as Morley's Categoricity Theorem (which tells you under certain circumstances that a theory is categorical), nor is it the same as the Tarski-Vaught test (which tells you under certain circumstances that a substructure is an elementary substructure). I forgot the more inclusive naming when I put up the page. --qedetc

OK cool - hope you don't mind me renaming it. --prime mover 15:01, 1 June 2011 (CDT)