Forcing (recursion theory)

Known as: Forcing 
Forcing in recursion theory is a modification of Paul Cohen's original set theoretic technique of forcing to deal with the effective concerns in… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1987-2017
024619872017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We introduce and study the first-order Generic Vopěnka’s Principle, which states that for every definable proper class of… (More)
Is this relevant?
2017
2017
It is well known to generalize the meagre ideal replacing ℵ 0 by a (regular) cardinal λ > ℵ 0 and requiring the ideal to be… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
This paper provides support for the certification role of venture capitalists in initial public offerings. Consistent with the… (More)
  • table II
  • table III
  • table V
  • table VII
  • table VIII
Is this relevant?
2006
2006
The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper… (More)
Is this relevant?
2005
2005
It is a well known problem of Von Neumann whether the countable chain condition and weak distributivity of a complete Boolean… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We introduce a distribution center (DC) location model that incorporates working inventory and safety stock inventory costs at… (More)
  • figure 2
  • table 2
  • table 3
  • table 4
  • figure 5
Is this relevant?
2001
2001
Abstract— We present and discuss the structure and design of optimum multivariable decision feedback equalizers (DFEs). The… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2001
2001
  • 2001
We deal with the problem of preserving various versions of completeness in (< κ)–support iterations of forcing notions… (More)
Is this relevant?
2000
2000
We present a technique for coding sets “into K,” where K is the core model below a strong cardinal. Specifically, we show that if… (More)
Is this relevant?
1987
1987
This paper is a continuation of Effective Topological Spaces I: A Definability Theory [7], and Effective Topological Spaces II: A… (More)
Is this relevant?