The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995

Información General

• Autores: Joaquín Borrego Díaz (coord.), Francisco José Salguero Lamillar (coord.)
• Editores: Kronos
• Año de publicación: 1997
• País: España
• Idioma: varios idiomas
• ISBN: 84-88620-08-X
• Texto completo no disponible (Saber más ...)

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • Lower bounds for the complexity of arithmetic problems with integer inputs

    M. Aldaz, José Luis Montaña Arnaiz, J. E. Morais, Luis Miguel Pardo Vasallo

    págs. 3-8

    

  • Compactly expandable models of superstable theories

    Enrique Casanovas Ruiz-Fornells

    págs. 9-11

    

  • Some results on equality-free logic

    Enrique Casanovas Ruiz-Fornells, Pilar Dellunde Clave, Ramón Jansana Ferrer

    págs. 13-14

    

  • Definability of Leibniz equality

    Raimon Elgueta Montó, Ramón Jansana Ferrer

    págs. 15-17

    

  • Introduction to second-order models

    Ángel Nepomuceno Fernández

    págs. 19-27

    

  • Complexity in formalized arithmetic

    Panu Raatikainen

    págs. 29-30

    

  • Using modal logic to define strategies in model-based diagnosis

    Michael Schroeder, Peter Fröhlich, Wolfgang Nejdl

    págs. 31-33

    

  • The fourth great chrisis in the foundations of Mathematics

    Wagner Waneck Martins

    pág. 35

    

  • On end extensions of models of B(sigma)n

    C. Dimitracopoulos

    pág. 39

    

  • Omitting types in incomplete theories

    R. Farré

    pág. 41

    

  • Some results on (Delta)n(T)-induction

    Alejandro Fernández Margarit, Francisco Félix Lara Martín

    págs. 43-73

    

  • kappa-like models of Arithmetic

    Richard Kaye

    págs. 75-83

    

  • Model theory and algebraic geometry

    W. Hodges

    pág. 85

    

  • Modal representation in Henkin's non-standard second order logic

    María Manzano

    págs. 87-96

    

  • Mk es completa pero no definible en primer-orden

    Huberto Marraud

    págs. 97-112

    

  • Recursive models of weak fragments of arithmetic

    Margarita Otero Domínguez

    pág. 113

    

  • Quotients of symmetric groups

    Saharon Shelah, J. K. Truss i Català

    pág. 115

    

  • End and cofinal extensions in arithmetic

    Joaquín Borrego Díaz, Mario de Jesús Pérez Jiménez

    págs. 119-137

    

  • Formal methods in the actual philosophy of science

    María Carmen Hernández Martín

    págs. 139-145

    

  • Modelos para lógicas modales normales

    Francisco José Salguero Lamillar

    págs. 147-155