Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 82
Volume 82, Number 1, November 1996
- Marco Cesati
, Michael R. Fellows:
Sparse Parameterized Problems. 1-15 - Xiaoding Yi:
A Non-Splitting Theorem for d.r.e. Sets. 17-96 - Saharon Shelah:
In the Random Graph G(n, p), p = n-a: If psi Has Probability O(n-epsilon) for Every epsilon>0 Then it Has Probability O(e-nepsilon) for Some epsilon>0. 97-102
Volume 82, Number 2, 5 December 1996
- Martin Grohe:
Arity Hierarchies. 103-163 - Jeremy Avigad:
Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic. 165-191 - Thomas Glaß, Thomas Strahm:
Systems of Explicit Mathematics with Non-Constructive µ-Operator and Join. 193-219
Volume 82, Number 3, 15 December 1996
- Greg Hjorth, Alexander S. Kechris:
Borel Equivalence Relations and Classifications of Countable Models. 221-272 - Moti Gitik, William J. Mitchell:
Indiscernible Sequences for Extenders, and the Singular Cardinal Hypothesis. 273-316 - S. Barry Cooper, Andrea Sorbi, Xiaoding Yi:
Cupping and Noncupping in the Enumeration Degrees of Sigma20 Sets. 317-342
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-09 22:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
