Sciweavers

11063 search results - page 32 / 2213
» On the existence of universal models
Sort
View
CORR
2010
Springer
44views Education» more  CORR 2010»
13 years 7 months ago
Universal Sparse Modeling
Ignacio Ramírez, Guillermo Sapiro
APAL
2002
105views more  APAL 2002»
13 years 7 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