#### Filter Results:

- Full text PDF available (0)

#### Publication Year

1981

2000

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Marek Chrobak, Tomasz Szymacha, Adam Krawczyk
- Theor. Comput. Sci.
- 1990

- Adam Krawczyk
- J. Comput. Syst. Sci.
- 1999

In [4] Papadimitriou proposed to study the complexity of search problems for total functions, in which the existence of a solution is guaranteed via simple combinatorial arguments, but no efficient algorithmic solutions are known. See also [3, 5, 1] for other related works. One of the problems considered in [4] is the following: given a cubic graph G, and a… (More)

- Jacek Cichon, Adam Krawczyk, Barbara Majcher-Iwanow, Bogdan Weglorz
- J. Symb. Log.
- 2000

- Adam Krawczyk
- J. Symb. Log.
- 1981

- Adam Krawczyk, Marian Srebrny
- Math. Log. Q.
- 1990

The Lebesgue measurability and the property of Baire have traditionally been central problems of classical descriptive set theory. LUZIN proved that all continuous images of Bore1 sets (all analytic, or Zi sets) and their complements (coanalytic, or sets) are measurable. GODEL proved that neither the measurability nor the property of Baire for all A : sets… (More)

- ‹
- 1
- ›