Switch to: References

Add citations

You must login to add citations.
  1. Finite and Infinite Model Theory-A Historical Perspective.John Baldwin - 2000 - Logic Journal of the IGPL 8 (5):605-628.
    We describe the progress of model theory in the last half century from the standpoint of how finite model theory might develop.
    Download  
     
    Export citation  
     
    Bookmark  
  • Model companions and k-model completeness for the complete theories of Boolean algebras.J. Mead & G. C. Nelson - 1980 - Journal of Symbolic Logic 45 (1):47-55.
    Download  
     
    Export citation  
     
    Bookmark  
  • Graphschemata und rekursive funktionen.von Rózsa Péter - 1958 - Dialectica 12 (3‐4):373-393.
    ZusammenfassungBei der Programmierung der Rechenautomaten ist es Brauch, den Gedankengang mit Skizzen zu begleiten and dadurch an‐schaulich zu machen. Durch Graphschemata können auch zahlentheore‐tische Funktionen definiert werden. Kaluẑnin stellte die Aufgabe, die derart definierten zahlentheoretischen Funktionen je nach der Kompliziert‐heit der betreffenden Graphschemata in Klassen zu teilen. Es war zuvermuten, dass man auf diese Weise konstruktive Zwischenstufen zwischen den bekannten speziell‐rekursiven Funktionen und den allgemein‐rekursiven Funktionen erhaält. Die vorliegende Arbeit zeigt, dass dieser Weg nicht gangbar ist, da sich jede allgemein‐rekursive (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations