default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchiv für mathematische Logik und Grundlagenforschung, Volume 20
Volume 20, Numbers 1-2, March 1980
- Motti Abramsky:
The classical decision problem and partial functions. 3-12 - Joram Hirschfeld:
Generalized ultrapowers. 13-26 - Peter Päppinghaus:
A version of the ∑1-reflection principle for CFA provable in PRA. 27-40 - Giuseppe Longo, Marisa Venturini Zilli:
Aλδ-calculus with an algorithmicδ. 41-52 - Gerhard Jäger:
Beweistheorie vonKPN. 53-63 - Michael von Rimscha:
Mengentheoretische Modelle desλK-Kalküls. 65-73 - Bernhard Falkenberg:
Halteprobleme von Fang-Systemen (tag systems). 75-83
Volume 20, Numbers 3-4, September 1980
- Andreas Blass:
Conservative extensions of models of arithmetic. 85-94 - Leo Harrington:
Extensions of countable infinitary logic which preserve most of its nice properties. 95-102 - Wilfrid Hodges:
Interpreting number theory in nilpotent groups. 103-111 - Sabine Koppelberg:
Cofinalities of complete boolean algebras. 113-123 - Matatyahu Rubin:
On the reconstruction of boolean algebras from their automorphism groups. 125-146 - Bernd Koppelberg:
Ultrapowers and boolean ultrapowers of θ and θ1. 147-153 - Wolfgang Rautenberg:
Splitting lattices of logics. 155-159 - Kurt Wolfsdorf:
Der Beweis eines Satzes von G. Choodnovsky. 161-171 - T. B. Flannagan:
Expansions of models of ZFC. 173-180
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-11-22 19:43 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:
