Switch to: References

Citations of:

$L_a$

Journal of Symbolic Logic 44 (1):15-28 (1979)

Add citations

You must login to add citations.
  1. Generalizing classical and effective model theory in theories of operations and classes.Paolo Mancosu - 1991 - Annals of Pure and Applied Logic 52 (3):249-308.
    Mancosu, P., Generalizing classical and effective model theory in theories of operations and classes, Annas of Pure and Applied Logic 52 249-308 . In this paper I propose a family of theories of operations and classes with the aim of developing abstract versions of model-theoretic results. The systems are closely related to those introduced and already used by Feferman for developing his program of ‘explicit mathematics’. The theories in question are two-sorted, with one kind of variable for individuals and the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Computable categoricity for pseudo-exponential fields of size ℵ 1.Jesse Johnson - 2014 - Annals of Pure and Applied Logic 165 (7-8):1301-1317.
    We use some notions from computability in an uncountable setting to describe a difference between the “Zilber field” of size ℵ1ℵ1 and the “Zilber cover” of size ℵ1ℵ1.
    Download  
     
    Export citation  
     
    Bookmark   1 citation