×

Archiv für Mathematische Logik und Grundlagenforschung

Short Title: Arch. Math. Logik Grundlagenforsch.
Publisher: Kohlhammer, Stuttgart
ISSN: 0003-9268
Online: http://www.digizeitschriften.de/main/dms/toc/?PPN=PPN379931524
http://link.springer.com/journal/volumesAndIssues/153
Successor: Archive for Mathematical Logic
Comments: Journal; No longer indexed
Documents Indexed: 353 Publications (1950–1987)
References Indexed: 304 Publications with 2,764 References.
all top 5

Authors

12 Schütte, Kurt
8 Lorenzen, Paul
8 Luckhardt, Horst
7 Abian, Alexander
7 Flum, Jörg
6 Bunder, Martin W.
5 Behmann, Heinrich
5 Rödding, Dieter
4 Börger, Egon
4 Döpp, Klemens
4 Ebbinghaus, Heinz-Dieter
4 Jäger, Gerhard
4 Kaiser, Klaus Hermann
4 Kreisel, Georg
4 Löb, M. H.
4 Oberschelp, Arnold
4 Pfeiffer, Helmut
4 Vogel, Helmut
4 von Rimscha, Michael
4 Wainer, Stanley Scott
3 Ackermann, Wilhelm
3 Buchholz, Wilfried
3 Crossley, John Newsome
3 Fittler, Robert
3 Gentzen, Gerhard
3 Gurevich, Yuri
3 Hasenjaeger, Gisbert
3 Makowsky, Johann-Andreas
3 Markwald, Werner
3 Mitschke, Gerd
3 Müller, Horst
3 Mundici, Daniele
3 Oberschelp, Walter
3 Osswald, Horst
3 Putnam, Hilary Whitehall
3 Ragaz, Matthias Emil
3 Schwichtenberg, Helmut
3 Shepherdson, John C.
2 Aczel, Peter
2 Adams, Ernest Wilcox
2 Alton, Donald A.
2 Brunner, Norbert
2 Buchi, J. Richard
2 Caporaso, Salvatore
2 Destouches, Jean-Louis
2 Diller, Justus
2 Ehrenfeucht, Andrzej
2 Feferman, Solomon
2 Felscher, Walter
2 Ferbus, Marie-Christine
2 Flannagan, Timothy B.
2 Fuhrken, Gebhard
2 Gautam, Narendra Deo
2 Hájek, Petr
2 Jensen, Ronald Björn
2 Jones, James P.
2 Kalish, Donald
2 Kiesow, Horst
2 Kleine Büning, Hans
2 Kutschera, F.v.
2 LaMacchia, Samuel E.
2 Leblanc, Hugues
2 Maass, Wolfgang
2 Mahn, Friedrich-Karl
2 Meyer, Robert Kenneth
2 Montague, Richard
2 Pohlers, Wolfram
2 Potthoff, Klaus
2 Rautenberg, Wolfgang
2 Schmidt, Diana
2 Schmidt, Hermann Arnold
2 Schock, Rolf
2 Schröder, M. E.
2 Shelah, Saharon
2 Simpson, Stephen G.
2 von Kutschera, Franz
2 Weispfenning, Volker
2 Zahn, Peter
2 Ziegler, Martin
1 Aanderaa, Stål Olav
1 Abramsky, Motti
1 Ambos-Spies, Klaus
1 Armbrust, Manfred
1 Avenhaus, Jürgen
1 Baigger, Günter
1 Bainbridge, James
1 Bammert, J.
1 Bar-Hillel, Yehoshua
1 Barwise, Kenneth Jon
1 Beck, Heinrich
1 Bell, John Lane
1 Bencivenga, Ermanno
1 Beth, Evert Willem
1 Bezem, Marc
1 Bibel, Wolfgang
1 Blanc, Georges
1 Blass, Andreas Raphael
1 Boffa, Maurice
1 Boolos, George S.
1 Bremer, Hanke
...and 140 more Authors

Publications by Year

Citations contained in zbMATH Open

214 Publications have been cited 1,199 times in 978 Documents Cited by Year
A new type assignment for \(\lambda\)-terms. Zbl 0418.03010
Coppo, M.; Dezani-Ciancaglini, M.
52
1978
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702
Kreisel, Georg; Putnam, H.
45
1957
Regular canonical systems. Zbl 0129.26102
Büchi, J. Richard
40
1964
A classification of the ordinal recursive functions. Zbl 0228.02027
Wainer, S. S.
33
1970
A well-ordering proof for Feferman’s theory \(T_ 0\). Zbl 0511.03025
Jäger, Gerhard
28
1983
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen. Zbl 0591.03041
Schütte, Kurt; Simpson, Stephen G.
25
1985
Hierarchies of number-theoretic functions. I. Zbl 0211.31205
Löb, M. H.; Wainer, S. S.
24
1970
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen. Zbl 0277.02006
Diller, Justus; Nahm, Werner
24
1974
Splitting lattices of logics. Zbl 0453.03017
Rautenberg, Wolfgang
24
1980
Zur Beweistheorie der Kripke-Platek-Mengenlehre über den natuerlichen Zahlen. Zbl 0503.03014
Jäger, Gerhard
23
1982
Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik. Zbl 0158.00705
Schütte, Kurt
21
1965
Dialogspiele als semantische Grundlage von Logikkalkülen. I, II. Zbl 0179.01302
Lorenz, Kuno
20
1968
The validity of equations of complex algebras. Zbl 0081.26005
Gautam, N. D.
19
1957
On 2nd order intuitionistic propositional calculus with full comprehension. Zbl 0289.02016
Gabbay, Dov M.
17
1974
Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Zbl 0182.31502
Ebbinghaus, H.-D.
16
1969
Rekursionszahlen und die Grzegorczyk-Hierarchie. Zbl 0213.01801
Schwichtenberg, H.
16
1969
Coding in the existential theory of concatenation. Zbl 0646.03040
Büchi, J. Richard; Senger, Steven
15
1986
Beweistheorie von KPN. Zbl 0439.03043
Jäger, Gerhard
15
1980
Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle. Zbl 0198.01304
von Kutschera, F.
15
1969
A note on proofs of falsehood. Zbl 0633.03056
Krajíček, Jan
14
1987
\(\lambda\)-definable functionals and \(\beta\eta\) conversion. Zbl 0537.03009
Statman, R.
14
1983
Ein System des verknüpfenden Schließens. Zbl 0071.00802
Schütte, Kurt
14
1956
Number theoretic concepts and recursive well-orderings. Zbl 0129.00402
Kreisel, Georg; Shoenfield, J.; Wang, H.
14
1961
Die Vollständigkeit des Operatorensystems \(\{ \urcorner, \wedge, \vee, \supset\}\) für die intuitionistische Aussagenlogik im Rahmen der Gentzensemantik. Zbl 0165.01101
Kutschera, F.v.
14
1968
\(\rho\)-inaccessible ordinals, collapsing functions and a recursive notation system. Zbl 0545.03031
Jäger, Gerhard
13
1984
On Tarski’s formalization of predicate logic with identity. Zbl 0166.00105
Kalish, D.; Montague, R.
13
1965
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik. Zbl 0286.02035
Gentzen, Gerhard
13
1974
Models with second order properties. III. Omitting types for L(Q). Zbl 0502.03016
Shelah, Saharon
12
1981
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume. (Unprovability of certain combinatorial properties of finite trees). Zbl 0598.03045
Simpson, Stephen G.
12
1985
A note on \(\aleph_0\)-categorical model-companions. Zbl 0408.03024
Weispfenning, Volker
12
1978
Variants of Robinson’s essentially undecidable theory R. Zbl 0511.03015
Jones, James P.; Shepherdson, John C.
11
1983
A simplified formalization of predicate logic with identity. Zbl 0166.00104
Tarski, Alfred
11
1965
A note on undecidable extensions of monadic second order successor arithmetic. Zbl 0325.02032
Thomas, Wolfgang
11
1975
Definierbare Funktionen im \(\lambda\)-Kalkül mit Typen. Zbl 0329.02011
Schwichtenberg, Helmut
11
1976
Natural well-orderings. Zbl 0634.03055
Crossley, John N.; Kister, Jane Bridge
10
1986
On cut elimination in the presence of Peirce rule. Zbl 0639.03059
Gordeev, L.
10
1987
The theorems of Beth and Craig in abstract model theory. II. Compact logics. Zbl 0472.03028
Makowsky, J. A.; Shelah, S.
10
1981
Representability of recursively enumerable sets in formal theories. Zbl 0113.24305
Shepherdson, J. C.
10
1961
Representability of recursively enumerable sets in formal theories. Zbl 0118.25102
Ehrenfeucht, A.; Feferman, S.
10
1961
Ein konstruktives System von Ordinalzahlen. I, II. Zbl 0193.31102
Schütte, Kurt
10
1968
Hierarchies of number-theoretic functions. II. Zbl 0222.02049
Löb, M. H.; Wainer, S. S.
10
1970
Some model theory for monotone quantifiers. Zbl 0365.02042
Makowsky, J. A.; Tulipani, S.
10
1977
Built-up systems of fundamental sequences and hierarchies of number-theoretic functions. Zbl 0358.02061
Schmidt, Diana
9
1976
Die Beziehungen zwischen den Ordinalzahlsystemen \(\Sigma\) und \(\Theta(\omega)\). Zbl 0339.02027
Buchholz, Wilfried; Schütte, Kurt
9
1976
Bezeichnungssystem für Ordinalzahlen. Zbl 0193.31103
Pfeiffer, Helmut
9
1969
Ein Bezeichnungssystem für Ordinalzahlen. Zbl 0209.02202
Pfeiffer, Helmut
8
1970
Generalized quantifiers and well orderings. Zbl 0247.02045
Slomson, A. B.
8
1972
Cupping and noncapping in the r.e. weak truth table and Turing degrees. Zbl 0619.03032
Ambos-Spies, Klaus
8
1985
Localization of a theorem of Ambos-Spies and the strong anti-splitting property. Zbl 0634.03033
Downey, R. G.
7
1987
Cut-elimination for impredicative infinitary systems. I. Ordinal-analysis for \(ID_ 1\). Zbl 0484.03030
Pohlers, W.
7
1981
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik. Zbl 0533.03007
Ragaz, Matthias
7
1983
Minimal- und Primmodelle. Zbl 0168.00703
Fuhrken, G.
7
1966
Recursively enumerable classes and their application to recursive sequences of formal theories. Zbl 0242.02046
Pour-El, Marian Boykan; Putnam, Hilary
7
1965
Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie. Zbl 0286.02034
Gentzen, Gerhard
7
1974
A lower bound for the complexity of Craig’s interpolants in sentential logic. Zbl 0511.03004
Mundici, Daniele
6
1983
A one axiom set theory based on higher order predicate calculus. Zbl 0537.03010
Bunder, M. W.
6
1983
Another simplification of the recursion scheme. Zbl 0343.02026
Georgieva, N.
6
1976
On models with large automorphism groups. Zbl 0237.02015
Ebbinghaus, H.-D.
6
1971
The recursive sets in certain monadic second order fragments of arithmetic. Zbl 0325.02033
Siefkes, Dirk
6
1975
Delta(0,2)-Mengen. Zbl 0356.02039
Carstens, Hans Georg
6
1976
Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes. Zbl 0604.03020
Baigger, Günter
6
1985
Combinatorial principles concerning approximations of functions. Zbl 0645.03057
Hájek, Petr; Paris, Jeff
5
1987
Remarks on descriptions and natural deduction. I, II. Zbl 0081.24501
Montague, Richard; Kalish, Donald
5
1957
Primitiv-rekursive Funktionen über einem Bereich endlicher Mengen. Zbl 0189.00901
Rödding, D.
5
1967
Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik. (A Henkin proof of the completeness of a calculus relatively to Grzegorczyk semanties). Zbl 0233.02020
Klemke, Dieter
5
1971
Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen. Zbl 0277.02009
Börger, Egon
5
1974
Vergleich zweier Bezeichnungssysteme für Ordinalzahlen. Zbl 0278.02029
Pfeiffer, Helmut
5
1972
Semi-conservative reduction. Zbl 0351.02011
Gurevich, Yuri
5
1976
Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität. Zbl 0396.03040
Avenhaus, J.; Madlener, K.
5
1978
Interpretationen der Heyting-Arithmetik endlicher Typen. Zbl 0411.03051
Stein, Martin
5
1978
Parallelizable algebras. Zbl 0634.68027
Ragaz, Matthias
4
1987
Existential interpretation. II. Zbl 0493.03020
Gurevich, Yuri
4
1982
Amorphe Potenzen kompakter Räume. Zbl 0553.54009
Brunner, Norbert
4
1984
Der Beweis eines Satzes von G. Choodnovsky. Zbl 0471.03046
Wolfsdorf, Kurt
4
1980
Topological model theory with an interior operator: Consistency properties and back-and-forth arguments. Zbl 0472.03027
Makowsky, J. A.; Ziegler, M.
4
1981
Über die Axiome produkt-abgeschlossener arithmetischer Klassen. Zbl 0108.00601
Oberschelp, Arnold
4
1958
1-consistency and faithful interpretations. Zbl 0122.24502
Feferman, S.; Kreisel, Georg; Orey, S.
4
1962
A universal two-way automation. Zbl 0173.01407
Kreider, D. L.; Ritchie, R. W.
4
1966
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen. Zbl 0215.32304
Diller, J.; Schütte, Kurt
4
1971
Hanf numbers and well-ordering numbers. Zbl 0267.02039
Flum, Jörg
4
1972
Boolean ultrapowers. Zbl 0285.02045
Potthoff, Klaus
4
1974
Über das Markov-Prinzip. Zbl 0356.02028
Luckhardt, Horst
4
1976
A fixed point theorem equivalent to the axiom of choice. Zbl 0615.04008
Abian, Alexander
4
1985
Majorisierungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger. Zbl 0617.03038
Schütte, Kurt
4
1986
Über Teilsysteme von \(\overline\Theta (\{g\})\). Zbl 0366.02017
Buchholz, Wilfried
4
1976
Équivalence naturelle et formules logiques en théorie des categories. Zbl 0407.03035
Blanc, Georges
4
1978
Interpreting number theory in nilpotent groups. Zbl 0454.03014
Hodges, Wilfrid
4
1980
Universality and strong extensionality. Zbl 0481.03031
von Rimscha, Michael
3
1981
Interpolation, compactness and jep in soft model theory. Zbl 0495.03019
Mundici, Daniele
3
1982
Cut elimination for impredicative infinitary systems. II. Ordinal analysis for iterated inductive definitions. Zbl 0497.03043
Pohlers, W.
3
1982
A proof theoretical fine structure in systems of ramified analysis. Zbl 0506.03016
Schmerl, Ulf R.
3
1982
Predicate calculus of arbitrarily high finite order. Zbl 0528.03005
Bunder, M. W.
3
1983
On a weakening of Markov’s principle. Zbl 0533.03033
Ščedrov, A.; Vesley, R.
3
1983
A classification of the one-argument primitive recursive functions. Zbl 0544.03015
Naumović, Jovan
3
1983
Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs. Zbl 0556.03043
Girard, J. Y.; Vauzeilles, J.
3
1984
Über zwei Bezeichnungssysteme für Ordinalzahlen. Zbl 0336.02025
Pfeiffer, Helmut
3
1974
Substitutionless predicate logic with identity. Zbl 0158.24603
Monk, Donald
3
1965
Non-uniqueness at \(\omega^ 2\) in Kleene’s \(\theta\). Zbl 0192.05501
Crossley, J. N.; Schütte, Kurt
3
1966
A liberated version of S5. Zbl 0193.29202
Lambert, Karel; Leblanc, Hugues; Meyer, Robert
3
1969
Mengeninduktion und Fundierungsaxiom. Zbl 0193.30701
Jensen, R. B.; Schröder, M. E.
3
1969
A note on proofs of falsehood. Zbl 0633.03056
Krajíček, Jan
14
1987
On cut elimination in the presence of Peirce rule. Zbl 0639.03059
Gordeev, L.
10
1987
Localization of a theorem of Ambos-Spies and the strong anti-splitting property. Zbl 0634.03033
Downey, R. G.
7
1987
Combinatorial principles concerning approximations of functions. Zbl 0645.03057
Hájek, Petr; Paris, Jeff
5
1987
Parallelizable algebras. Zbl 0634.68027
Ragaz, Matthias
4
1987
A note on forking and normalization. Zbl 0646.03028
Vaughn, John B.
1
1987
Garnir’s dream spaces with Hamel bases. Zbl 0624.03038
Brunner, Norbert
1
1987
Coding in the existential theory of concatenation. Zbl 0646.03040
Büchi, J. Richard; Senger, Steven
15
1986
Natural well-orderings. Zbl 0634.03055
Crossley, John N.; Kister, Jane Bridge
10
1986
Majorisierungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger. Zbl 0617.03038
Schütte, Kurt
4
1986
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen. Zbl 0591.03041
Schütte, Kurt; Simpson, Stephen G.
25
1985
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume. (Unprovability of certain combinatorial properties of finite trees). Zbl 0598.03045
Simpson, Stephen G.
12
1985
Cupping and noncapping in the r.e. weak truth table and Turing degrees. Zbl 0619.03032
Ambos-Spies, Klaus
8
1985
Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes. Zbl 0604.03020
Baigger, Günter
6
1985
A fixed point theorem equivalent to the axiom of choice. Zbl 0615.04008
Abian, Alexander
4
1985
A theory of local negation: the model and some applications. Zbl 0597.03038
Gauthier, Yvon
2
1985
Strong normalization of barrecursive terms without using infinite terms. Zbl 0603.03017
Bezem, Marc
2
1985
Application of a Tauberian theorem to finite model theory. Zbl 0613.03007
Compton, Kevin J.
2
1985
Optimal bounds for ordinal comparison maps. Zbl 0602.03011
Clote, Peter
1
1985
\(\rho\)-inaccessible ordinals, collapsing functions and a recursive notation system. Zbl 0545.03031
Jäger, Gerhard
13
1984
Amorphe Potenzen kompakter Räume. Zbl 0553.54009
Brunner, Norbert
4
1984
Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs. Zbl 0556.03043
Girard, J. Y.; Vauzeilles, J.
3
1984
Spielquantorinterpretation unstetiger Funktionale der höheren Analysis. Zbl 0544.03021
Friedrich, Wolfgang
2
1984
Functorial bounds for cut elimination in \(L_{\beta\omega}\). I. Zbl 0558.03026
Ferbus, Marie-Christine
2
1984
A well-ordering proof for Feferman’s theory \(T_ 0\). Zbl 0511.03025
Jäger, Gerhard
28
1983
\(\lambda\)-definable functionals and \(\beta\eta\) conversion. Zbl 0537.03009
Statman, R.
14
1983
Variants of Robinson’s essentially undecidable theory R. Zbl 0511.03015
Jones, James P.; Shepherdson, John C.
11
1983
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik. Zbl 0533.03007
Ragaz, Matthias
7
1983
A lower bound for the complexity of Craig’s interpolants in sentential logic. Zbl 0511.03004
Mundici, Daniele
6
1983
A one axiom set theory based on higher order predicate calculus. Zbl 0537.03010
Bunder, M. W.
6
1983
Predicate calculus of arbitrarily high finite order. Zbl 0528.03005
Bunder, M. W.
3
1983
On a weakening of Markov’s principle. Zbl 0533.03033
Ščedrov, A.; Vesley, R.
3
1983
A classification of the one-argument primitive recursive functions. Zbl 0544.03015
Naumović, Jovan
3
1983
Set theory in predicate calculus with equality. Zbl 0537.03011
Bunder, M. W.
2
1983
R.e. degrees of continuous functionals. Zbl 0527.03028
Normann, Dag
1
1983
Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre. Zbl 0533.03008
Ragaz, Matthias
1
1983
A note on tight stable theories. Zbl 0536.03017
Pillay, Anand
1
1983
A classification of an iterative hierarchy. Zbl 0544.03016
Kleine Büning, Hans
1
1983
Zur Beweistheorie der Kripke-Platek-Mengenlehre über den natuerlichen Zahlen. Zbl 0503.03014
Jäger, Gerhard
23
1982
Existential interpretation. II. Zbl 0493.03020
Gurevich, Yuri
4
1982
Interpolation, compactness and jep in soft model theory. Zbl 0495.03019
Mundici, Daniele
3
1982
Cut elimination for impredicative infinitary systems. II. Ordinal analysis for iterated inductive definitions. Zbl 0497.03043
Pohlers, W.
3
1982
A proof theoretical fine structure in systems of ramified analysis. Zbl 0506.03016
Schmerl, Ulf R.
3
1982
Some diophantine forms of Goedel’s theorem. Zbl 0494.03043
Dyson, Verena H.; Jones, James P.; Shepherdson, John C.
2
1982
On orderings of the family of all logics. Zbl 0499.03024
Krynicki, Michal; Vaeaenaenen, Jouko
2
1982
Undecidability vs transfinite induction for the consistency of hyperarithmetical sets. Zbl 0494.03038
Caporaso, Salvatore; Pani, Giovanni
1
1982
Ein Vollständigkeitsbeweis für schnittfreie Kalküle mit der Maximalisierungsmethode von Henkin. Zbl 0496.03002
Glubrecht, Jürgen-Michael
1
1982
Interpolation in Logiken monotoner Systeme. Zbl 0508.03015
Ebbinghaus, H.-D.; Ziegler, M.
1
1982
Further applications of ultra-conservative \(\omega\)-rules. Zbl 0535.03030
López-Escobar, E. G. K.
1
1982
Models with second order properties. III. Omitting types for L(Q). Zbl 0502.03016
Shelah, Saharon
12
1981
The theorems of Beth and Craig in abstract model theory. II. Compact logics. Zbl 0472.03028
Makowsky, J. A.; Shelah, S.
10
1981
Cut-elimination for impredicative infinitary systems. I. Ordinal-analysis for \(ID_ 1\). Zbl 0484.03030
Pohlers, W.
7
1981
Topological model theory with an interior operator: Consistency properties and back-and-forth arguments. Zbl 0472.03027
Makowsky, J. A.; Ziegler, M.
4
1981
Universality and strong extensionality. Zbl 0481.03031
von Rimscha, Michael
3
1981
The role of the omitting types theorem in infinitary logic. Zbl 0467.03034
Barwise, Jon
3
1981
Weak foundation and axioms of universality. Zbl 0485.03023
von Rimscha, Michael
2
1981
On the strength of several versions of Dirichlets (”pigeon-hole”-) principle in the sense of first-order logic. Zbl 0467.03060
Twer, T.v.d.
2
1981
Die Amalgamierungseigenschaft und reine Ringe. Zbl 0466.03010
Zeitler, Horst
1
1981
Splitting lattices of logics. Zbl 0453.03017
Rautenberg, Wolfgang
24
1980
Beweistheorie von KPN. Zbl 0439.03043
Jäger, Gerhard
15
1980
Der Beweis eines Satzes von G. Choodnovsky. Zbl 0471.03046
Wolfsdorf, Kurt
4
1980
Interpreting number theory in nilpotent groups. Zbl 0454.03014
Hodges, Wilfrid
4
1980
Extensions of countable infinitary logic which preserve most of its nice properties. Zbl 0473.03031
Harrington, Leo
2
1980
Mengentheoretische Modelle des \(\lambda K\)-Kalküls. Zbl 0428.03045
von Rimscha, Michael
2
1980
Conservative extensions of models of arithmetic. Zbl 0453.03072
Blass, Andreas
2
1980
On the reconstruction of Boolean algebras from their automorphism groups. Zbl 0467.06007
Rubin, Matatyahu
2
1980
Cofinalities of complete Boolean algebras. Zbl 0486.03029
Koppelberg, Sabine
1
1980
A version of the \(\Sigma_1\)-reflection principle for CFA provable in PRA. Zbl 0429.03040
Päppinghaus, Peter
1
1980
Halteprobleme von Fang-Systemen (tag systems). Zbl 0436.03037
Falkenberg, Bernhard
1
1980
A new type assignment for \(\lambda\)-terms. Zbl 0418.03010
Coppo, M.; Dezani-Ciancaglini, M.
52
1978
A note on \(\aleph_0\)-categorical model-companions. Zbl 0408.03024
Weispfenning, Volker
12
1978
Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität. Zbl 0396.03040
Avenhaus, J.; Madlener, K.
5
1978
Interpretationen der Heyting-Arithmetik endlicher Typen. Zbl 0411.03051
Stein, Martin
5
1978
Équivalence naturelle et formules logiques en théorie des categories. Zbl 0407.03035
Blanc, Georges
4
1978
Consistency proof without transfinite induction for a formal system for Turing machines. Zbl 0406.03070
Caporaso, Salvatore
2
1978
The operator gap theorem in alpha-recursion theory. Zbl 0412.03031
Di Paola, Robert A.
2
1978
Über die mit dem Bar-Rekursor vom Typ O definierbaren Ordinalzahlen. Zbl 0414.03034
Vogel, H.
2
1978
On the elementary theory of inductive order. Zbl 0395.03023
Sonenberg, E. A.
1
1978
Compact and \(\omega\)-compact formulas in \(L-{\omega_1\omega}\). Zbl 0397.03020
Gold, Bonnie
1
1978
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen. Zbl 0398.03005
Wirsing, Martin
1
1978
Choice sequences and reduction processes. Zbl 0404.03046
Haberthür, R.
1
1978
Some model theory for monotone quantifiers. Zbl 0365.02042
Makowsky, J. A.; Tulipani, S.
10
1977
Some remarks about the connections between combinatory logic and axiomatic recursion theory. Zbl 0365.02028
Hindley, Roger; Mitschke, Gerd
2
1977
Postscript to “Built-up systems of fundamental sequences and hierarchies of number-theoretic functions”. Zbl 0365.02031
Schmidt, Diana
2
1977
On minimal pairs and minimal degrees in higher recursion theory. Zbl 0371.02018
Maass, Wolfgang
1
1977
Über das Markov-Prinzip. II. Zbl 0381.03045
Luckhardt, Horst
1
1977
Definierbare Funktionen im \(\lambda\)-Kalkül mit Typen. Zbl 0329.02011
Schwichtenberg, Helmut
11
1976
Built-up systems of fundamental sequences and hierarchies of number-theoretic functions. Zbl 0358.02061
Schmidt, Diana
9
1976
Die Beziehungen zwischen den Ordinalzahlsystemen \(\Sigma\) und \(\Theta(\omega)\). Zbl 0339.02027
Buchholz, Wilfried; Schütte, Kurt
9
1976
Another simplification of the recursion scheme. Zbl 0343.02026
Georgieva, N.
6
1976
Delta(0,2)-Mengen. Zbl 0356.02039
Carstens, Hans Georg
6
1976
Semi-conservative reduction. Zbl 0351.02011
Gurevich, Yuri
5
1976
Über das Markov-Prinzip. Zbl 0356.02028
Luckhardt, Horst
4
1976
Über Teilsysteme von \(\overline\Theta (\{g\})\). Zbl 0366.02017
Buchholz, Wilfried
4
1976
Model-interpretability into trees and applications. Zbl 0324.02041
Korec, Ivan; Rautenberg, Wolfgang
3
1976
Die m-Grade logischer Entscheidungsprobleme. Zbl 0362.02025
Börger, Egon; Heidler, Klaus
2
1976
Ein starker Normalisationssatz für die bar-rekursiven Funktionale. Zbl 0352.02035
Vogel, Helmut
2
1976
A simple tree lemma and its application to a counterexample of Phillips. Zbl 0402.03024
Potthoff, Klaus
2
1976
Einführung der Normalfunktionen \(\Theta_\alpha\) ohne Auswahlaxiom und ohne Regularitätsbedingung. Zbl 0338.02013
Schütte, Kurt
1
1976
On interpolation when function symbols are present. Zbl 0339.02011
Felscher, Walter
1
1976
...and 114 more Documents
all top 5

Cited by 895 Authors

22 Rathjen, Michael
16 Jäger, Gerhard
16 Weiermann, Andreas
14 Shelah, Saharon
13 Visser, Albert
9 Bunder, Martin W.
9 Freund, Anton
9 Kesner, Delia
9 Pohlers, Wolfram
9 Wansing, Heinrich Theodor
8 Downey, Rodney Graham
8 Schütte, Kurt
7 Buchholz, Wilfried
7 Gordeev, Lev
6 Avigad, Jeremy
6 Beklemishev, Lev D.
6 Bezhanishvili, Guram
6 Bezhanishvili, Nick
6 Makowsky, Johann-Andreas
6 Miglioli, Pierangelo
6 Oliva, Paulo
6 Simpson, Stephen G.
6 Strahm, Thomas
6 Väänänen, Jouko Antero
6 Willard, Dan E.
5 Ayhan, Sara
5 Börger, Egon
5 Brink, Chris
5 Feferman, Solomon
5 Friedman, Harvey M.
5 Haeusler, Edward Hermann
5 Kohlenbach, Ulrich Wilhelm
5 Kracht, Marcus
5 Steila, Silvia
4 Ambos-Spies, Klaus
4 Brattka, Vasco
4 Durnev, Valeriĭ Georgievich
4 Gabbay, Dov M.
4 Ghilezan, Silvia
4 Karhumaki, Juhani
4 Lescanne, Pierre
4 Longo, Giuseppe
4 Madlener, Klaus E.
4 Mathias, Adrian R. D.
4 Meyer, Robert Kenneth
4 Niggl, Karl-Heinz
4 Petrukhin, Yaroslav Igorevich
4 Schmidt, Diana
4 Schmitz, Sylvain
4 Schroeder-Heister, Peter Joseph
4 Thomas, Wolfgang
4 Towsner, Henry
4 Van der Meeren, Jeroen
4 Lima Ventura, Daniel
4 Wainer, Stanley Scott
4 Wilken, Gunnar
4 Zakharyaschev, Michael Viktorovich
3 Bezem, Marc
3 Bibel, Wolfgang
3 Caicedo, Xavier
3 Ciabattoni, Agata
3 Cichon, E. A.
3 Citkin, Alex
3 Clote, Peter G.
3 Coquand, Thierry
3 Crosilla, Laura
3 Crossley, John Newsome
3 de Campos Sanz, Wagner
3 Dezani-Ciancaglini, Mariangiola
3 Drossos, Costas A.
3 Ehrenfeucht, Andrzej
3 Enayat, Ali
3 Faĭzrahmanov, Marat Khaidarovich
3 Fermüller, Christian G.
3 Fernández Duque, David
3 Ferrari, Mauro
3 Ferreira, Gilda
3 Gaspar, Jaime
3 Gurevich, Yuri
3 Hájek, Petr
3 Iemhoff, Rosalie
3 Karpenko, Anastasia Valer’evna
3 Langmaack, Hans
3 Leivant, Daniel M.
3 Lempp, Steffen
3 Lugiez, Denis
3 Maier, Berthold J.
3 Marcus, Leo
3 Mazzanti, Stefano
3 Mints, Grigoriĭ Efroimovich
3 Müller, Horst
3 Mundici, Daniele
3 Murwanashyaka, Juvenal
3 Oberschelp, Arnold
3 Otto, Friedrich
3 Päppinghaus, Peter
3 Pauly, Arno M.
3 Pfeiffer, Helmut
3 Rabinovich, Alexander
3 Rozenberg, Grzegorz
...and 795 more Authors
all top 5

Cited in 116 Journals

115 Annals of Pure and Applied Logic
101 Archiv für Mathematische Logik und Grundlagenforschung
96 The Journal of Symbolic Logic
65 Archive for Mathematical Logic
52 Theoretical Computer Science
43 Studia Logica
25 Journal of Philosophical Logic
23 Information and Computation
23 The Bulletin of Symbolic Logic
17 Algebra Universalis
14 Mathematical Logic Quarterly (MLQ)
12 Synthese
11 The Review of Symbolic Logic
10 Israel Journal of Mathematics
10 Notre Dame Journal of Formal Logic
10 Proceedings of the American Mathematical Society
10 Transactions of the American Mathematical Society
8 Advances in Mathematics
7 Journal of Soviet Mathematics
7 Journal of Applied Non-Classical Logics
6 Acta Informatica
6 Journal of Computer and System Sciences
6 RAIRO, Informatique Théorique
6 History and Philosophy of Logic
6 Journal of Automated Reasoning
6 MSCS. Mathematical Structures in Computer Science
6 Logical Methods in Computer Science
5 Algebra and Logic
5 Siberian Mathematical Journal
5 Journal of Symbolic Computation
4 Information Processing Letters
4 Mathematical Systems Theory
4 Journal of Mathematical Sciences (New York)
4 Logica Universalis
3 Communications in Algebra
3 Discrete Mathematics
3 International Journal of Theoretical Physics
3 Moscow University Mathematics Bulletin
3 Computing
3 Quaestiones Mathematicae
3 Bulletin of the Section of Logic
3 Journal of Logic, Language and Information
3 Journal of Mathematical Logic
3 Logic and Logical Philosophy
3 ACM Transactions on Computational Logic
2 Mathematical Notes
2 Periodica Mathematica Hungarica
2 Archiv der Mathematik
2 Bulletin de la Société Mathématique de France
2 Fuzzy Sets and Systems
2 Journal of Combinatorial Theory. Series A
2 Mathematische Annalen
2 Mathematische Zeitschrift
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Journal of Theoretical Probability
2 Russian Mathematics
2 Journal of Functional Programming
2 Selecta Mathematica. New Series
2 Doklady Mathematics
2 Theory of Computing Systems
2 Soft Computing
2 RAIRO. Theoretical Informatics and Applications
2 Chebyshevskiĭ Sbornik
2 Journal of Logical and Algebraic Methods in Programming
1 Artificial Intelligence
1 Bulletin of the Australian Mathematical Society
1 Computers & Mathematics with Applications
1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
1 Journal of Mathematical Analysis and Applications
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Rocky Mountain Journal of Mathematics
1 The Mathematical Intelligencer
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Compositio Mathematica
1 Information Sciences
1 International Journal of Mathematics and Mathematical Sciences
1 International Journal of Computer & Information Sciences
1 Journal of Multivariate Analysis
1 Manuscripta Mathematica
1 Mathematica Slovaca
1 Monatshefte für Mathematik
1 Rendiconti del Seminario Matematico della Università di Padova
1 Theory and Decision
1 Tôhoku Mathematical Journal. Second Series
1 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete
1 Topology and its Applications
1 Order
1 Journal of the American Mathematical Society
1 Formal Aspects of Computing
1 International Journal of Foundations of Computer Science
1 International Journal of Computer Mathematics
1 Mémoires de la Société Mathématique de France. Nouvelle Série
1 Expositiones Mathematicae
1 RAIRO. Informatique Théorique et Applications
1 Applicable Algebra in Engineering, Communication and Computing
1 Topology Proceedings
1 Annals of Mathematics and Artificial Intelligence
1 Erkenntnis
1 Nonlinear Functional Analysis and Applications
1 The Journal of Logic and Algebraic Programming
...and 16 more Journals

Citations by Year