FOM: finite axiomatization and conservative extension
Thomas Forster
tf at kleene.ss.uci.edu
Mon Apr 30 18:00:12 EDT 2001
Previous message:
FOM: Offer of offprints
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Presumably the r.e. set has to be deductively closed....
Previous message:
FOM: Offer of offprints
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the FOM mailing list