×

zbMATH — the first resource for mathematics

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: 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 Schmidt, Hermann Arnold
3 Schwichtenberg, Helmut
3 Shepherdson, John C.
2 Aczel, P. H. G.
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 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 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 O.
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
1 Buchberger, Bruno
...and 135 more Authors

Publications by Year

Citations contained in zbMATH Open

210 Publications have been cited 1,046 times in 866 Documents Cited by Year
A new type assignment for \(\lambda\)-terms. Zbl 0418.03010
Coppo, M.; Dezani-Ciancaglini, M.
41
1978
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702
Kreisel, Georg; Putnam, H.
40
1957
Regular canonical systems. Zbl 0129.26102
Büchi, J. R.
35
1964
A classification of the ordinal recursive functions. Zbl 0228.02027
Wainer, S. S.
32
1970
Hierarchies of number-theoretic functions. I. Zbl 0211.31205
Löb, M. H.; Wainer, S. S.
22
1970
A well-ordering proof for Feferman’s theory \(T_ 0\). Zbl 0511.03025
Jäger, Gerhard
22
1983
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen. Zbl 0277.02006
Diller, Justus; Nahm, Werner
22
1974
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen. Zbl 0591.03041
Schütte, Kurt; Simpson, Stephen G.
20
1985
Splitting lattices of logics. Zbl 0453.03017
Rautenberg, Wolfgang
20
1980
Zur Beweistheorie der Kripke-Platek-Mengenlehre über den natuerlichen Zahlen. Zbl 0503.03014
Jäger, Gerhard
17
1982
The validity of equations of complex algebras. Zbl 0081.26005
Gautam, N. D.
17
1957
Rekursionszahlen und die Grzegorczyk-Hierarchie. Zbl 0213.01801
Schwichtenberg, H.
16
1969
On 2nd order intuitionistic propositional calculus with full comprehension. Zbl 0289.02016
Gabbay, Dov M.
16
1974
Number theoretic concepts and recursive well-orderings. Zbl 0129.00402
Kreisel, Georg; Shoenfield, J.; Wang, H.
14
1961
Dialogspiele als semantische Grundlage von Logikkalkülen. I, II. Zbl 0179.01302
Lorenz, Kuno
14
1968
Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Zbl 0182.31502
Ebbinghaus, H.-D.
14
1969
\(\lambda\)-definable functionals and \(\beta\eta\) conversion. Zbl 0537.03009
Statman, R.
13
1983
\(\rho\)-inaccessible ordinals, collapsing functions and a recursive notation system. Zbl 0545.03031
Jäger, Gerhard
13
1984
Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik. Zbl 0158.00705
Schütte, Kurt
13
1965
On Tarski’s formalization of predicate logic with identity. Zbl 0166.00105
Kalish, D.; Montague, R.
13
1965
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
A note on proofs of falsehood. Zbl 0633.03056
Krajíček, Jan
11
1987
Models with second order properties. III. Omitting types for L(Q). Zbl 0502.03016
Shelah, Saharon
11
1981
Beweistheorie von KPN. Zbl 0439.03043
Jäger, Gerhard
11
1980
Coding in the existential theory of concatenation. Zbl 0646.03040
Büchi, J. Richard; Senger, Steven
11
1986
Definierbare Funktionen im \(\lambda\)-Kalkül mit Typen. Zbl 0329.02011
Schwichtenberg, Helmut
10
1976
Some model theory for monotone quantifiers. Zbl 0365.02042
Makowsky, J. A.; Tulipani, S.
10
1977
Ein konstruktives System von Ordinalzahlen. I, II. Zbl 0193.31102
Schütte, Kurt
10
1968
Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle. Zbl 0198.01304
von Kutschera, F.
10
1969
Ein System des verknüpfenden Schließens. Zbl 0071.00802
Schütte, Kurt
10
1956
Die Vollständigkeit des Operatorensystems \(\{ \urcorner, \wedge, \vee, \supset\}\) für die intuitionistische Aussagenlogik im Rahmen der Gentzensemantik. Zbl 0165.01101
Kutschera, F.v.
10
1968
Hierarchies of number-theoretic functions. II. Zbl 0222.02049
Löb, M. H.; Wainer, S. S.
10
1970
On cut elimination in the presence of Peirce rule. Zbl 0639.03059
Gordeev, L.
9
1987
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik. Zbl 0286.02035
Gentzen, Gerhard
9
1974
A note on undecidable extensions of monadic second order successor arithmetic. Zbl 0325.02032
Thomas, Wolfgang
9
1975
The theorems of Beth and Craig in abstract model theory. II. Compact logics. Zbl 0472.03028
Makowsky, J. A.; Shelah, S.
9
1981
Bezeichnungssystem für Ordinalzahlen. Zbl 0193.31103
Pfeiffer, Helmut
9
1969
A simplified formalization of predicate logic with identity. Zbl 0166.00104
Tarski, Alfred
9
1965
Cupping and noncapping in the r.e. weak truth table and Turing degrees. Zbl 0619.03032
Ambos-Spies, Klaus
8
1985
Ein Bezeichnungssystem für Ordinalzahlen. Zbl 0209.02202
Pfeiffer, Helmut
8
1970
Die Beziehungen zwischen den Ordinalzahlsystemen \(\Sigma\) und \(\Theta(\omega)\). Zbl 0339.02027
Buchholz, Wilfried; Schütte, Kurt
8
1976
Representability of recursively enumerable sets in formal theories. Zbl 0113.24305
Shepherdson, J. C.
8
1961
Representability of recursively enumerable sets in formal theories. Zbl 0118.25102
Ehrenfeucht, A.; Feferman, S.
8
1961
Localization of a theorem of Ambos-Spies and the strong anti-splitting property. Zbl 0634.03033
Downey, R. G.
7
1987
Natural well-orderings. Zbl 0634.03055
Crossley, John N.; Kister, Jane Bridge
7
1986
Variants of Robinson’s essentially undecidable theory R. Zbl 0511.03015
Jones, James P.; Shepherdson, John C.
7
1983
Recursively enumerable classes and their application to recursive sequences of formal theories. Zbl 0242.02046
Pour-El, Marian Boykan; Putnam, Hilary
7
1965
Generalized quantifiers and well orderings. Zbl 0247.02045
Slomson, A. B.
7
1972
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
On models with large automorphism groups. Zbl 0237.02015
Ebbinghaus, H.-D.
6
1971
Built-up systems of fundamental sequences and hierarchies of number-theoretic functions. Zbl 0358.02061
Schmidt, Diana
6
1976
Minimal- und Primmodelle. Zbl 0168.00703
Fuhrken, G.
6
1966
Cut-elimination for impredicative infinitary systems. I. Ordinal-analysis for \(ID_ 1\). Zbl 0484.03030
Pohlers, W.
6
1981
Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes. Zbl 0604.03020
Baigger, Günter
5
1985
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik. Zbl 0533.03007
Ragaz, Matthias
5
1983
Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen. Zbl 0277.02009
Börger, Egon
5
1974
Another simplification of the recursion scheme. Zbl 0343.02026
Georgieva, N.
5
1976
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
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
Combinatorial principles concerning approximations of functions. Zbl 0645.03057
Hájek, Petr; Paris, Jeff
5
1987
Majorisierungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger. Zbl 0617.03038
Schütte, Kurt
4
1986
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen. Zbl 0215.32304
Diller, J.; Schütte, Kurt
4
1971
Existential interpretation. II. Zbl 0493.03020
Gurevich, Yuri
4
1982
Amorphe Potenzen kompakter Räume. Zbl 0553.54009
Brunner, Norbert
4
1984
Hanf numbers and well-ordering numbers. Zbl 0267.02039
Flum, Jörg
4
1972
Vergleich zweier Bezeichnungssysteme für Ordinalzahlen. Zbl 0278.02029
Pfeiffer, Helmut
4
1972
Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie. Zbl 0286.02034
Gentzen, Gerhard
4
1974
The recursive sets in certain monadic second order fragments of arithmetic. Zbl 0325.02033
Siefkes, Dirk
4
1975
Über das Markov-Prinzip. Zbl 0356.02028
Luckhardt, Horst
4
1976
Delta(0,2)-Mengen. Zbl 0356.02039
Carstens, Hans Georg
4
1976
Über Teilsysteme von \(\overline\Theta (\{g\})\). Zbl 0366.02017
Buchholz, Wilfried
4
1976
Interpreting number theory in nilpotent groups. Zbl 0454.03014
Hodges, Wilfrid
4
1980
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
Remarks on descriptions and natural deduction. I, II. Zbl 0081.24501
Montague, Richard; Kalish, Donald
4
1957
Über die Axiome produkt-abgeschlossener arithmetischer Klassen. Zbl 0108.00601
Oberschelp, Arnold
4
1958
A universal two-way automation. Zbl 0173.01407
Kreider, D. L.; Ritchie, R. W.
4
1966
Parallelizable algebras. Zbl 0634.68027
Ragaz, Matthias
3
1987
On rational betting systems. Zbl 0202.50805
Adams, E. W.
3
1962
Prädikatenlogik mit partiell definierten Funktionen. Zbl 0215.04602
Markwald, Werner
3
1971
Modelltheoretische Untersuchungen in der Kripke-Semantik. Zbl 0216.01203
Osswald, H.
3
1970
Interpolation, compactness and jep in soft model theory. Zbl 0495.03019
Mundici, Daniele
3
1982
Predicate calculus of arbitrarily high finite order. Zbl 0528.03005
Bunder, M. W.
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
A characterization of Takeuti’s ordinal diagrams of finite order. Zbl 0244.02011
Levitz, Hilbert; Schütte, Kurt
3
1971
A finitely axiomatizable complete theory with atomless F\(_1\)(T). Zbl 0254.02043
Ehrenfeucht, A.; Fuhrken, G.
3
1971
Boolean ultrapowers. Zbl 0285.02045
Potthoff, Klaus
3
1974
Ein ausgezeichnetes Modell für die intuitionistische Typenlogik. Zbl 0317.02026
Buchholz, Wilfried
3
1975
Model-interpretability into trees and applications. Zbl 0324.02041
Korec, Ivan; Rautenberg, Wolfgang
3
1976
Über zwei Bezeichnungssysteme für Ordinalzahlen. Zbl 0336.02025
Pfeiffer, Helmut
3
1974
The role of the omitting types theorem in infinitary logic. Zbl 0467.03034
Barwise, Jon
3
1981
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
1-consistency and faithful interpretations. Zbl 0122.24502
Feferman, S.; Kreisel, Georg; Orey, S.
3
1962
A note on proofs of falsehood. Zbl 0633.03056
Krajíček, Jan
11
1987
On cut elimination in the presence of Peirce rule. Zbl 0639.03059
Gordeev, L.
9
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
3
1987
Garnir’s dream spaces with Hamel bases. Zbl 0624.03038
Brunner, Norbert
1
1987
A note on forking and normalization. Zbl 0646.03028
Vaughn, John B.
1
1987
Coding in the existential theory of concatenation. Zbl 0646.03040
Büchi, J. Richard; Senger, Steven
11
1986
Natural well-orderings. Zbl 0634.03055
Crossley, John N.; Kister, Jane Bridge
7
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.
20
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
5
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
A fixed point theorem equivalent to the axiom of choice. Zbl 0615.04008
Abian, Alexander
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
22
1983
\(\lambda\)-definable functionals and \(\beta\eta\) conversion. Zbl 0537.03009
Statman, R.
13
1983
Variants of Robinson’s essentially undecidable theory R. Zbl 0511.03015
Jones, James P.; Shepherdson, John C.
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
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik. Zbl 0533.03007
Ragaz, Matthias
5
1983
Predicate calculus of arbitrarily high finite order. Zbl 0528.03005
Bunder, M. W.
3
1983
A classification of the one-argument primitive recursive functions. Zbl 0544.03015
Naumović, Jovan
3
1983
On a weakening of Markov’s principle. Zbl 0533.03033
Ščedrov, A.; Vesley, R.
2
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
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
17
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
Some diophantine forms of Goedel’s theorem. Zbl 0494.03043
Dyson, Verena H.; Jones, James P.; Shepherdson, John C.
2
1982
Cut elimination for impredicative infinitary systems. II. Ordinal analysis for iterated inductive definitions. Zbl 0497.03043
Pohlers, W.
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
A proof theoretical fine structure in systems of ramified analysis. Zbl 0506.03016
Schmerl, Ulf R.
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
11
1981
The theorems of Beth and Craig in abstract model theory. II. Compact logics. Zbl 0472.03028
Makowsky, J. A.; Shelah, S.
9
1981
Cut-elimination for impredicative infinitary systems. I. Ordinal-analysis for \(ID_ 1\). Zbl 0484.03030
Pohlers, W.
6
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
The role of the omitting types theorem in infinitary logic. Zbl 0467.03034
Barwise, Jon
3
1981
Universality and strong extensionality. Zbl 0481.03031
von Rimscha, Michael
3
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
Weak foundation and axioms of universality. Zbl 0485.03023
von Rimscha, Michael
2
1981
Die Amalgamierungseigenschaft und reine Ringe. Zbl 0466.03010
Zeitler, Horst
1
1981
Splitting lattices of logics. Zbl 0453.03017
Rautenberg, Wolfgang
20
1980
Beweistheorie von KPN. Zbl 0439.03043
Jäger, Gerhard
11
1980
Interpreting number theory in nilpotent groups. Zbl 0454.03014
Hodges, Wilfrid
4
1980
Der Beweis eines Satzes von G. Choodnovsky. Zbl 0471.03046
Wolfsdorf, Kurt
4
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
Extensions of countable infinitary logic which preserve most of its nice properties. Zbl 0473.03031
Harrington, Leo
2
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
Cofinalities of complete Boolean algebras. Zbl 0486.03029
Koppelberg, Sabine
1
1980
A new type assignment for \(\lambda\)-terms. Zbl 0418.03010
Coppo, M.; Dezani-Ciancaglini, M.
41
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
Consistency proof without transfinite induction for a formal system for Turing machines. Zbl 0406.03070
Caporaso, Salvatore
2
1978
Équivalence naturelle et formules logiques en théorie des categories. Zbl 0407.03035
Blanc, Georges
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
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
10
1976
Die Beziehungen zwischen den Ordinalzahlsystemen \(\Sigma\) und \(\Theta(\omega)\). Zbl 0339.02027
Buchholz, Wilfried; Schütte, Kurt
8
1976
Built-up systems of fundamental sequences and hierarchies of number-theoretic functions. Zbl 0358.02061
Schmidt, Diana
6
1976
Another simplification of the recursion scheme. Zbl 0343.02026
Georgieva, N.
5
1976
Semi-conservative reduction. Zbl 0351.02011
Gurevich, Yuri
5
1976
Über das Markov-Prinzip. Zbl 0356.02028
Luckhardt, Horst
4
1976
Delta(0,2)-Mengen. Zbl 0356.02039
Carstens, Hans Georg
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
Ein starker Normalisationssatz für die bar-rekursiven Funktionale. Zbl 0352.02035
Vogel, Helmut
2
1976
Die m-Grade logischer Entscheidungsprobleme. Zbl 0362.02025
Börger, Egon; Heidler, Klaus
2
1976
A simple tree lemma and its application to a counterexample of Phillips. Zbl 0402.03024
Potthoff, Klaus
2
1976
Quasi-axiomatic classes. Zbl 0331.02032
Kaiser, Klaus
1
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
Eine Funktionalinterpretation der prädikativen Analysis. Zbl 0381.03043
Maaß, Wolfgang
1
1976
...and 110 more Documents
all top 5

Cited by 798 Authors

18 Rathjen, Michael
14 Jäger, Gerhard
13 Shelah, Saharon
13 Weiermann, Andreas
10 Visser, Albert
9 Bunder, Martin W.
8 Downey, Rodney Graham
8 Pohlers, Wolfram
8 Schütte, Kurt
7 Buchholz, Wilfried
6 Avigad, Jeremy
6 Makowsky, Johann-Andreas
6 Oliva, Paulo
6 Simpson, Stephen G.
6 Strahm, Thomas
6 Väänänen, Jouko Antero
6 Wansing, Heinrich Theodor
6 Willard, Dan E.
5 Bezhanishvili, Guram
5 Bezhanishvili, Nick
5 Börger, Egon
5 Brink, Chris
5 Freund, Anton
5 Friedman, Harvey M.
5 Haeusler, Edward Hermann
5 Kesner, Delia
5 Kohlenbach, Ulrich Wilhelm
5 Kracht, Marcus
5 Miglioli, Pierangelo
5 Steila, Silvia
4 Ambos-Spies, Klaus
4 Beklemishev, Lev D.
4 Durnev, Valeriĭ Georgievich
4 Feferman, Solomon
4 Gabbay, Dov M.
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 Towsner, Henry
4 Wainer, Stanley Scott
4 Zakharyaschev, Michael Viktorovich
3 Bezem, Marc
3 Brattka, Vasco
3 Caicedo, Xavier
3 Caucal, Didier
3 Cichon, E. A.
3 Clote, Peter G.
3 Dezani-Ciancaglini, Mariangiola
3 Drossos, Costas A.
3 Ehrenfeucht, Andrzej
3 Enayat, Ali
3 Ferrari, Mauro
3 Ferreira, Gilda
3 Ghilezan, Silvia
3 Gurevich, Yuri
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 Mints, Grigoriĭ Efroimovich
3 Müller, Horst
3 Mundici, Daniele
3 Oberschelp, Arnold
3 Otto, Friedrich
3 Päppinghaus, Peter
3 Pfeiffer, Helmut
3 Rabinovich, Alexander
3 Rozenberg, Grzegorz
3 Schmidt, Diana
3 Schmitz, Sylvain
3 Schroeder-Heister, Peter Joseph
3 Shepherdson, John C.
3 Sorbi, Andrea
3 Tachtsis, Eleftherios
3 Thomas, Wolfgang
3 Van der Meeren, Jeroen
3 Vogel, Helmut
3 von Rimscha, Michael
3 Wilken, Gunnar
3 Yokoyama, Keita
3 Zaionc, Marek
3 Zetkina, Oksana Valer’evna
3 Ziegler, Martin
2 Avenhaus, Jürgen
2 Berardi, Stefano
2 Bernardi, Claudio
2 Bès, Alexis
2 Blass, Andreas Raphael
2 Brady, Ross Thomas
2 Buchi, J. Richard
2 Burghardt, F. J.
2 Caporaso, Salvatore
...and 698 more Authors
all top 5

Cited in 107 Journals

109 Annals of Pure and Applied Logic
101 Archiv für Mathematische Logik und Grundlagenforschung
94 The Journal of Symbolic Logic
62 Archive for Mathematical Logic
51 Theoretical Computer Science
41 Studia Logica
24 Journal of Philosophical Logic
23 The Bulletin of Symbolic Logic
22 Information and Computation
15 Algebra Universalis
10 Notre Dame Journal of Formal Logic
10 Proceedings of the American Mathematical Society
10 Transactions of the American Mathematical Society
10 Mathematical Logic Quarterly (MLQ)
9 Synthese
9 The Review of Symbolic Logic
8 Israel Journal of Mathematics
7 Advances in Mathematics
7 Journal of Soviet Mathematics
6 Acta Informatica
6 Journal of Computer and System Sciences
6 RAIRO, Informatique Théorique
6 Journal of Automated Reasoning
6 Journal of Applied Non-Classical Logics
5 Algebra and Logic
5 Siberian Mathematical Journal
5 Journal of Symbolic Computation
4 Information Processing Letters
4 Mathematical Systems Theory
4 MSCS. Mathematical Structures in Computer Science
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 History and Philosophy of Logic
3 Journal of Logic, Language and Information
3 Journal of Mathematical 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 Journal of Functional Programming
2 Theory of Computing Systems
2 Soft Computing
2 RAIRO. Theoretical Informatics and Applications
2 ACM Transactions on Computational Logic
2 Chebyshevskiĭ Sbornik
2 Logical Methods in Computer Science
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 Tohoku Mathematical Journal. Second Series
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 Russian Mathematics
1 Topology Proceedings
1 Annals of Mathematics and Artificial Intelligence
1 Doklady Mathematics
1 The Journal of Logic and Algebraic Programming
1 Logic and Logical Philosophy
1 Journal of Applied Mathematics
1 Portugaliae Mathematica. Nova Série
1 Central European Journal of Mathematics
1 Journal of Applied Logic
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Bulletin of the American Mathematical Society
...and 7 more Journals

Citations by Year