default search action

combined dblp search
author search
venue search
publication search

ask others

Archive for Mathematical Logic, Volume 27

> Home > Journals > Archive for Mathematical Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 27, Number 1, March 1988

- view
  authority control:
- export record
  dblp key:
  - journals/aml/Ahlbrandt088
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Ahlbrandt088
Gisela Ahlbrandt, John T. Baldwin:
Categoricity and generalized model completeness. 1-4
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Schutte88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Schutte88
Kurt Schütte:
Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). 5-20
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Murawski88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Murawski88
Roman Murawski:
Definable sets and expansions of models of Peano arithmetic. 21-33
- view
  authority control:
- export record
  dblp key:
  - journals/aml/OberschelpST88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/OberschelpST88
Arnold Oberschelp, Karsten Schmidt-Göttsch, Günter Todt:
Castor quadruplorum. 35-44
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Tanaka88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Tanaka88
Katsumi Tanaka:
Some local properties of ω-stable groups. 45-47
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Kanda88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Kanda88
Akira Kanda:
Productive sets and constructively nonpartial-recursive functions. 49-50
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Buchholz88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Buchholz88
Wilfried Buchholz:
Induktive Definitionen und Dilatoren. 51-60
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Garcia88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Garcia88
Narciso García:
Operating on the universe. 61-68
- view
  authority control:
- export record
  dblp key:
  - journals/aml/KrajicekP88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/KrajicekP88
Jan Krajícek, Pavel Pudlák:
The number of proof lines and the size of proofs in first order logic. 69-84
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Schutte88a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Schutte88a
Kurt Schütte:
Eine Erweiterung T(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ₀) von G. Jäger. 85-99

Volume 27, Number 2, September 1988

- view
  authority control:
- export record
  dblp key:
  - journals/aml/Wainer88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Wainer88
Stanley S. Wainer:
A plus-1 theorem for sub-sections. 101-105
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Bellissima88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Bellissima88
Fabio Bellissima:
On the lattice of extensions of the modal logics KAlt_n. 107-114
- view
  authority control:
- export record
  dblp key:
  - journals/aml/MontagnaS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/MontagnaS88
Franco Montagna, Giovanni Sommaruga:
Rosser and mostowski sentences. 115-133
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Downey88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Downey88
Rodney G. Downey:
Recursively enumerable m- and tt-degrees II: The distribution of singular degrees. 135-147
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Bezem88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Bezem88
Marc Bezem:
Equivalence of bar recursors in the theory of functionals of finite type. 149-160
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Vauzeilles88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Vauzeilles88
Jacqueline Vauzeilles:
Cut-elimination and interpolation for Ω-logic. 161-175
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Simmons88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Simmons88
Harold Simmons:
The realm of primitive recursion. 177-188
- view
  authority control:
- export record
  dblp key:
  - journals/aml/LauchliN88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/LauchliN88
Hans Läuchli, Peter M. Neumann:
On linearly ordered sets and permutation groups of countable degree. 189-192
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Tsuboi88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Tsuboi88
Akito Tsuboi:
On a property of ω-stable solvable groups. 193-197

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.