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=PPN379931524http://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 Latest Issues 26 (1987) 25 (1985) 24 (1984) 23 (1983) 22 (1982) 21 (1981) 20 (1980) 19 (1978) 18 (1976/1977) 17 (1975/1976) 16 (1974) 15 (1972) 14 (1971) 13 (1970) 12 (1969) 11 (1968) 10 (1967) 9 (1966) 8 (1965) 7 (1965) 6 (1962/1964) 5 (1961) 4 (1958) 3 (1957) 2 (1954/1956) 1 (1950-1952) 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 all top 5 Fields 253 Mathematical logic and foundations (03-XX) 8 Computer science (68-XX) 6 General algebraic systems (08-XX) 6 Category theory; homological algebra (18-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 3 Group theory and generalizations (20-XX) 2 Combinatorics (05-XX) 2 Commutative algebra (13-XX) 1 Field theory and polynomials (12-XX) 1 Real functions (26-XX) 1 Difference and functional equations (39-XX) 1 Sequences, series, summability (40-XX) 1 Abstract harmonic analysis (43-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Quantum theory (81-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 33 Fields 818 Mathematical logic and foundations (03-XX) 183 Computer science (68-XX) 43 Order, lattices, ordered algebraic structures (06-XX) 26 History and biography (01-XX) 25 Combinatorics (05-XX) 22 Group theory and generalizations (20-XX) 17 General algebraic systems (08-XX) 15 General topology (54-XX) 14 Category theory; homological algebra (18-XX) 12 General and overarching topics; collections (00-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Information and communication theory, circuits (94-XX) 7 Number theory (11-XX) 6 Operator theory (47-XX) 6 Probability theory and stochastic processes (60-XX) 5 Associative rings and algebras (16-XX) 4 Commutative algebra (13-XX) 4 Quantum theory (81-XX) 3 Geometry (51-XX) 2 Real functions (26-XX) 2 Measure and integration (28-XX) 2 Difference and functional equations (39-XX) 2 Functional analysis (46-XX) 2 Algebraic topology (55-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Statistics (62-XX) 2 Numerical analysis (65-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Nonassociative rings and algebras (17-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) 1 Biology and other natural sciences (92-XX) Citations by Year