Sciweavers

2949 search results - page 25 / 590
» Universal Sparse Modeling
Sort
View
AML
2004
70views more  AML 2004»
13 years 9 months ago
On the existence of universal models
Mirna Dzamonja, Saharon Shelah
APAL
2002
105views more  APAL 2002»
13 years 9 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