default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 58
Volume 58, Number 1, 3 July 1992
- Derrick Albert DuBose:
Determinacy and Extended Sharp Functions on the Reals, Part II: Obtaining Sharps from Determinacy. 1-28 - Deirdre Haskell
:
A Transfer Theorem in Constructive p-adic Algebra. 29-55 - Menachem Kojman, Saharon Shelah:
The Universality Spectrum of Stable Unsuperstable Theories. 57-72 - Imme Pieter van den Berg:
Extended use of IST. 73-92
Volume 58, Number 2, 28 September 1992
- Tomek Bartoszynski, Saharon Shelah:
Closed Measure Zero Sets. 93-110 - Carlo Celluci:
Existential Instantiation and Normalization in Sequent Natural Deduction. 111-148 - Michal Krynicki, Marcin Mostowski:
Decidability Problems in Languages with Henkin Quantifiers. 149-172
Volume 58, Number 3, 19 November 1992
- Christopher J. Ash:
Generalizations of Enumeration Reducibility Using Recursive Infinitary Propositional Sentences. 173-184 - Jörg Brendle, Haim Judah, Saharon Shelah:
Combinatorial Properties of Hechler Forcing. 185-199 - Ker-I Ko:
On the Computational Complexity of Integral Equations. 201-228 - Andrea Masini:
2-Sequent Calculus: A Proof Theory of Modalities. 229-246 - Claude Sureson:
Symmetric Submodels of a Cohen Generic Extension. 247-261
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 2025-01-08 20:19 CET 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:
