Switch to: Citations

Add references

You must login to add references.
  1. Universal theories categorical in power and κ-generated models.Steven Givant & Saharon Shelah - 1994 - Annals of Pure and Applied Logic 69 (1):27-51.
    We investigate a notion called uniqueness in power κ that is akin to categoricity in power κ, but is based on the cardinality of the generating sets of models instead of on the cardinality of their universes. The notion is quite useful for formulating categoricity-like questions regarding powers below the cardinality of a theory. We prove, for universal theories T, that if T is κ-unique for one uncountable κ, then it is κ-unique for every uncountable κ; in particular, it is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation