Sciweavers

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