Sfoglia per Autore
Robinson consistency theorem in soft model theory
1979 D.Mundici
Natural limitations of algorithmic procedures in logic
1980 D. Mundici
An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem,
1981 D. MUNDICI
ROBINSON'S CONSISTENCY THEOREM IN SOFT MODEL THEORY
1981 D. MUNDICI
Craig's interpolation theorem in computation theory
1981 D.Mundici
IRREVERSIBILITY, UNCERTAINTY, RELATIVITY AND COMPUTER LIMITATIONS
1981 D. MUNDICI
A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes
1981 D.MUNDICI
Ergodic undefinability in set theory and recursion theory
1981 D. MUNDICI
Applications of many-sorted Robinson consistency theorem
1981 D. Mundici
INTERPOLATION, COMPACTNESS AND JEP IN SOFT MODEL THEORY
1982 D. MUNDICI
Complexity of Craig's interpolation
1982 D.Mundici
L-embedding, amalgamation and L-elementary equivalence
1982 D.Mundici
NP AND CRAIG'S INTERPOLATION THEOREM
1982 D. MUNDICI
Compactness, interpolation and Friedman's third problem
1982 D. MUNDICI
Duality between logics and equivalence relations
1982 D. MUNDICI
Compactness = JEP in any logic,
1983 D. MUNDICI
NATURAL LIMITATIONS OF DECISION PROCEDURES FOR ARITHMETIC WITH BOUNDED QUANTIFIERS
1983 D. MUNDICI
Delta-tautologies, uniform and nonuniform upper bounds in computation theory
1983 D.Mundici
A LOWER BOUND FOR THE COMPLEXITY OF CRAIG'S INTERPOLANTS IN SENTENTIAL LOGIC
1983 D. MUNDICI
A generalization of abstract model theory
1984 D. MUNDICI
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile