41 search results - page 4 / 9 » jsyml 2008 |
JSYML
2008
13 years 5 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 ...
JSYML
2008
13 years 5 months ago
2008
I investigate versions of the Maximality Principles for the classes of forcings which are <-closed, <-directed-closed, or of the form Col(, < ). These principles come in ...
JSYML
2008
13 years 5 months ago
2008
In this paper we show that there is a pair of superhigh r.e. degree that forms a minimal pair. An analysis of the proof shows that a critical ingredient is the growth rates of cert...
JSYML
2008
13 years 5 months ago
2008
In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting ...
JSYML
2008
13 years 5 months ago
2008
Global co-stationarity of the ground model from an 2-c.c. forcing which adds a new subset of 1 is internally consistent relative to an 1-Erdos hyperstrong cardinal and a sufficient...