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)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Joan Bagaria, Victoria Gitman, Ralf Schindler
- Arch. Math. Log.
- 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

- Saharon Shelah
- Arch. Math. Log.
- 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

- Kathleen A. Weiss, WILLIAM L. MEGGINSON, Kathleen A. Weiss
- 2007

This paper provides support for the certification role of venture capitalists in initial public offerings. Consistent with the… (More)

Is this relevant?

2006

2006

- Justin Tatch Moore
- Ann. Pure Appl. Logic
- 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

- Mark S. Daskin, Collette R. Coullard, Zuo-Jun Max Shen
- Annals OR
- 2002

We introduce a distribution center (DC) location model that incorporates working inventory and safety stock inventory costs at… (More)

Is this relevant?

2001

2001

- Claes Tidestav, Anders Ahlén, Mikael Sternad
- IEEE Trans. Signal Processing
- 2001

Abstract— We present and discuss the structure and design of optimum multivariable decision feedback equalizers (DFEs). The… (More)

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

- R. Schindler
- 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

- Iraj Kalantari, Galen Weitkamp
- Ann. Pure Appl. Logic
- 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?