Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones

Participacions als congrés Meeting on Mathematical Logic (BLM94) (27/1/1994 - 29/1/1994)

Roberto Leonardo Oscar Cignoli Títol participació: The algebras of Lukasiewicz´s multi-valued logics

J. Climent Títol participació: On the relationship between functors for the Lindenbaum-Tarshi algebras and interpretations between propositional logical systems

N. Da Costa Títol participació: Solving problems in Physics by using mathematical logic

P. Dellunde Títol participació: Reduced structures and logic without equality

K. Došen Títol participació: Functional completeness in substructural categories

R. Elgueta Títol participació: Algebraic model theory for languages without equality

Rafael Farré Cirera Títol participació: Almost real closed fields and their model theory

A. Fernández-Margarit Títol participació: Models of arithmetic

Jörg Flum Títol participació: Fixed-point logic

Sy David Friedman Títol participació: The combinatorial content of V=L

Juan Carlos Martínez Alonso Títol participació: On thin-tall topological spaces

Adrian Richard David Mathias Títol participació: ?½-determinacy

M. Otero Títol participació: Amalgamation properties in open induction

M. Pérez Títol participació: Saturation of cofinal extensions in arithmetic

Stevo Todorcevic Títol participació: Bounded sets in topological vector spaces

Ventura Verdú Solans Títol participació: Algebraizability and deduction theorems for Gentzen systems

Martin Karl Paul Ziegler Títol participació: Modules over valuation rings