Sciweavers

2413 search results - page 32 / 483
» Models for universal usability
Sort
View
CORR
2010
Springer
44views Education» more  CORR 2010»
13 years 10 months ago
Universal Sparse Modeling
Ignacio Ramírez, Guillermo Sapiro
AML
2004
70views more  AML 2004»
13 years 10 months ago
On the existence of universal models
Mirna Dzamonja, Saharon Shelah
APAL
2002
105views more  APAL 2002»
13 years 10 months ago
Saturated models of universal theories
A notion called Herbrand saturation is shown to provide the modeltheoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a nu...
Jeremy Avigad