default search action

combined dblp search
author search
venue search
publication search

ask others

Archiv für mathematische Logik und Grundlagenforschung, Volume 26

> Home > Journals > Archiv für mathematische Logik und Grundlagenforschung

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 26, Number 1, December 1987

- view
  authority control:
- export record
  dblp key:
  - journals/aml/Bunder87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Bunder87
Martin W. Bunder:
Some generalizations to two systems of set theory based on combinatory logic. 5-12
- view
  authority control:
- export record
  dblp key:
  - journals/aml/HajekP87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/HajekP87
Petr Hájek, Jeff B. Paris:
Combinatorial principles concerning approximations of functions. 13-28
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Schutte87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Schutte87
Kurt Schütte:
Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger. 29-55
- view
  authority control:
- export record
  dblp key:
  - journals/aml/CrossleyK87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/CrossleyK87
John N. Crossley, Jane Bridge Kister:
Natural well-orderings. 57-76
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Ragaz87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Ragaz87
Matthias Ragaz:
Parallelizable algebras. 77-99
- view
  authority control:
- export record
  dblp key:
  - journals/aml/BuchiS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/BuchiS87
J. Richard Büchi, Steven Senger:
Coding in the existential theory of concatenation. 101-106
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Szatkowski87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Szatkowski87
Miroslaw Szatkowski:
Model existence theorem in superrelevant predicate logics. 111-121
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Brunner87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Brunner87
Norbert Brunner:
Garnir's dream spaces with Hamel bases. 123-126
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Downey87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Downey87
Rodney G. Downey:
Localization of a theorem of Ambos-Spies and the strong anti-splitting property. 127-136
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Chong87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Chong87
C. T. Chong:
Degree-theoretic bounds on the morley rank. 137-145
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Gordeev87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Gordeev87
Lew Gordeev:
On cut elimination in the presence of perice rule. 147-164
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Vaughn87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Vaughn87
John B. Vaughn:
A note on forking and normalization. 165-168
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Krajicek87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Krajicek87
Jan Krajícek:
A note on proofs of falsehood. 169-176
- view
  authority control:
- export record
  dblp key:
  - journals/aml/AbianK87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/AbianK87
Alexander Abian, Kyriakos Keremedis:
Unramified forcing preserving the law of double negation. 177-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.