1817 search results - page 7 / 364 » Forcing and Type Theory |
TYPES
2007
Springer
14 years 1 months ago
2007
Springer
TYPES
2007
Springer
14 years 1 months ago
2007
Springer
TYPES
1998
Springer
13 years 11 months ago
1998
Springer
TYPES
1993
Springer
13 years 11 months ago
1993
Springer
JSYML
2008
13 years 7 months ago
2008
In a previous paper with M. Dzamonja, class forcings were given which fixed the complexity (a universality covering number) for certain types of structures of size together with ...