×

zbMATH — the first resource for mathematics

Barwise, Kenneth Jon

Compute Distance To:
Author ID: barwise.jon.1 Recent zbMATH articles by "Barwise, Kenneth Jon"
Published as: Barwise, J.; Barwise, Jon; Barwise, K. J.; Barwise, K. Jon
External Links: MGP · Wikidata · GND
Documents Indexed: 70 Publications since 1968, including 25 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH

62 Publications have been cited 1,309 times in 1,068 Documents Cited by Year
Admissible sets and structures. An approach to definability theory. Zbl 0316.02047
Barwise, Jon
262
1975
Generalized quantifiers and natural language. Zbl 0473.03033
Barwise, Jon; Cooper, Robin
125
1981
Situations and attitudes. Reprint of the 1983 original. Zbl 0946.03007
Barwise, Jon; Perry, John
77
1999
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
Barwise, J. (ed.); Feferman, S. (ed.)
74
1985
The liar. An essay on truth and circularity. Paperback ed. Zbl 0678.03001
Barwise, Jon; Etchemendy, John
68
1987
Vicious circles. On the mathematics of non-wellfounded phenomena. Zbl 0865.03002
Barwise, Jon; Moss, Lawrence
67
1996
Information flow. The logic of distributed systems. Zbl 0927.03004
Barwise, Jon; Seligman, Jerry
52
1997
Axioms for abstract model theory. Zbl 0324.02034
Barwise, K. Jon
51
1974
Completing theories by forcing. Zbl 0222.02058
Barwise, Jon; Robinson, Abraham
44
1970
Infinitary logic and admissible sets. Zbl 0215.31806
Barwise, J.
38
1969
An introduction to recursively saturated and resplendent models. Zbl 0343.02032
Barwise, Jon; Schlipf, John
34
1976
The situation in logic. Zbl 0664.03003
Barwise, Jon
32
1989
On Moschovakis closure ordinals. Zbl 0367.02021
Barwise, Jon
32
1977
Stationary logic. Zbl 0372.02031
Barwise, Jon; Kaufmann, Matt; Makkai, Michael
29
1978
Three views of common knowledge. Zbl 0704.03008
Barwise, Jon
21
1988
Infinitary properties of abelian torsion groups. Zbl 0222.02014
Barwise, Jon; Eklof, Paul
21
1970
Logical reasoning with diagrams. Zbl 0870.03002
Allwein, Gerard (ed.); Barwise, Jon (ed.)
20
1996
On branching quantifiers in English. Zbl 0399.03008
Barwise, Jon
17
1979
The syntax and semantics of infinitary languages. Zbl 0165.00102
Barwise, Jon (ed.)
16
1968
Hanf numbers for fragments of L\(_{\infty \omega}\). Zbl 0253.02010
Barwise, Jon; Kunen, Kenneth
15
1971
Absolute logics and L\(_{\infty \omega}\). Zbl 0248.02061
Barwise, K. Jon
13
1972
The next admissible set. Zbl 0236.02033
Barwise, K. J.; Gandy, R. O.; Moschovakis, Y. N.
13
1971
On recursively saturated models of arithmetic. Zbl 0343.02031
Barwise, Jon; Schlipf, John
12
1975
Hyperproof for the Macintosh. Program by Gerard Allwein, Mark Greaves, and Michael Lenz. Incl. 1 disk. Zbl 0860.03004
Barwise, Jon; Etchemendy, John
11
1994
Noun phrases, generalized quantifiers and anaphora. Zbl 0723.03011
Barwise, Jon
11
1987
The language of first-order logic. Including the Macintosh version of Tarski’s World 4.0. 3rd ed., rev. and exp. Zbl 0858.03002
Barwise, Jon; Etchemendy, John
10
1993
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001
Barwise, Jon (ed.)
10
1978
Some applications of Henkin quantifiers. Zbl 0347.02007
Barwise, Jon
10
1976
Admissible sets and structures. An approach to definability theory. Reprint of the 1975 original published by Springer. Zbl 1365.03004
Barwise, Jon
9
2016
Interpolation, preservation, and pebble games. Zbl 0930.03040
Barwise, Jon; van Benthem, Johan
9
1999
Global inductive definability. Zbl 0395.03021
Barwise, Jon; Moschovakis, Yiannis N.
9
1978
Applications of strict \(\Pi_ 1^ 1\) predicates to infinitary logic. Zbl 0216.00305
Barwise, J.
9
1969
Hypersets. Zbl 0756.03026
Barwise, Jon; Moss, Larry
8
1991
A correction to ”Stationary logic”. Zbl 0457.03034
Barwise, Jon; Kaufmann, Matt; Makkai, Michael
8
1981
Modal correspondence for models. Zbl 0919.03014
Barwise, Jon; Moss, Lawrence S.
5
1998
Information and impossibilities. Zbl 0920.03002
Barwise, Jon
5
1997
Handbook of mathematical logic. Part 1-3. (Spravochnaya kniga po matematicheskoj logika. Chast’ 1-3). Transl. from the English. Zbl 0623.03002
Barwise, Jon (ed.)
5
1982
The Shoenfield absoluteness lemma. Zbl 0206.01101
Barwise, J.; Fisher, Edward
5
1970
Lefschetz’s principle. Zbl 0194.51701
Barwise, J.; Eklof, P.
5
1969
Diagrams and the concept of logical system. Zbl 0822.03001
Barwise, Jon; Hammer, Eric
4
1994
Model-theoretic logics. (Parts D-F). Zbl 0587.03002
Barwise, J. (ed.); Feferman, S. (ed.)
4
1985
Shifting situations and shaken attitudes. An interview with Barwise and Perry. Zbl 0557.03002
Barwise, Jon; Perry, John
4
1985
The Hanf number of second order logic. Zbl 0281.02020
Barwise, K. Jon
4
1972
On the logic of information flow. Zbl 0831.03012
Barwise, Jon; Gabbay, Dov; Hartonas, Chrysafis
3
1995
The role of the omitting types theorem in infinitary logic. Zbl 0467.03034
Barwise, Jon
3
1981
Model-theoretic logics. New edition of the 1985 original published by Springer. Zbl 1390.03002
Barwise, J. (ed.); Feferman, S. (ed.)
2
2016
Three views of common knowledge. Zbl 1384.03015
Barwise, Jon
2
2016
Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM. 2nd revised ed. Zbl 1318.03001
Barker-Plummer, Dave; Barwise, Jon; Etchemendy, John
2
2011
Nonwellfounded sets and their applications. A joint AMS-MAA lecture presented in Louisville, KY, USA, January 1990. Videotape (NTSC; 60 min. VHS). Zbl 0919.03042
Barwise, Jon
2
1990
The Kleene Symposium. Proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Zbl 0436.00007
Barwise, Jon (ed.); Keisler, H. Jerome (ed.); Kunen, Kenneth (ed.)
2
1980
Infinitary methods in the model theory of set theory. Zbl 0219.02046
Barwise, J.
2
1971
Remarks on universal sentences of \(L_{\omega_ 1},_ \omega\). Zbl 0215.31901
Barwise, J.
2
1969
Implicit definability and compactness in infinitary languages. Zbl 0195.30301
Barwise, Jon
2
1968
Logical reasoning with diagrams and sentences. Using hyperproof. Zbl 1373.03001
Barker-Plummer, Dave; Barwise, Jon; Etchemendy, John
1
2017
State spaces, local logics, and non-monotonicity. Zbl 0968.03035
Barwise, Jon
1
1999
The language of first-order logic. Including the IBM-compatible Windows version of Tarski’s World 4. 0 (with 1 IBM-PC floppy disk). 3rd ed. Zbl 0942.03500
Barwise, Jon; Etchemendy, John
1
1992
Situation theory and its applications. Vol. 2: Proceedings of the 2nd conference, Loch Rannoch, GB, September 1991. Zbl 0942.03522
Barwise, K. Jon (ed.); Gawron, Jean Mark (ed.); Plotkin, Gordon (ed.); Tutiya, Syun (ed.)
1
1991
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001
Barwise, Jon (ed.)
1
1982
Some eastern two cardinal theorems. Zbl 0393.03023
Barwise, Jon
1
1977
Admissible sets over models of set theory. Zbl 0355.02031
Barwise, K. Jon
1
1974
A preservation theorem for interpretations. Zbl 0276.02034
Barwise, K. Jon
1
1973
Meeting of the Association for Symbolic Logic. New York 1969. Zbl 0269.02001
Nerode, Anil (ed.); Barwise, K. J. (ed.)
1
1973
Logical reasoning with diagrams and sentences. Using hyperproof. Zbl 1373.03001
Barker-Plummer, Dave; Barwise, Jon; Etchemendy, John
1
2017
Admissible sets and structures. An approach to definability theory. Reprint of the 1975 original published by Springer. Zbl 1365.03004
Barwise, Jon
9
2016
Model-theoretic logics. New edition of the 1985 original published by Springer. Zbl 1390.03002
Barwise, J. (ed.); Feferman, S. (ed.)
2
2016
Three views of common knowledge. Zbl 1384.03015
Barwise, Jon
2
2016
Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM. 2nd revised ed. Zbl 1318.03001
Barker-Plummer, Dave; Barwise, Jon; Etchemendy, John
2
2011
Situations and attitudes. Reprint of the 1983 original. Zbl 0946.03007
Barwise, Jon; Perry, John
77
1999
Interpolation, preservation, and pebble games. Zbl 0930.03040
Barwise, Jon; van Benthem, Johan
9
1999
State spaces, local logics, and non-monotonicity. Zbl 0968.03035
Barwise, Jon
1
1999
Modal correspondence for models. Zbl 0919.03014
Barwise, Jon; Moss, Lawrence S.
5
1998
Information flow. The logic of distributed systems. Zbl 0927.03004
Barwise, Jon; Seligman, Jerry
52
1997
Information and impossibilities. Zbl 0920.03002
Barwise, Jon
5
1997
Vicious circles. On the mathematics of non-wellfounded phenomena. Zbl 0865.03002
Barwise, Jon; Moss, Lawrence
67
1996
Logical reasoning with diagrams. Zbl 0870.03002
Allwein, Gerard (ed.); Barwise, Jon (ed.)
20
1996
On the logic of information flow. Zbl 0831.03012
Barwise, Jon; Gabbay, Dov; Hartonas, Chrysafis
3
1995
Hyperproof for the Macintosh. Program by Gerard Allwein, Mark Greaves, and Michael Lenz. Incl. 1 disk. Zbl 0860.03004
Barwise, Jon; Etchemendy, John
11
1994
Diagrams and the concept of logical system. Zbl 0822.03001
Barwise, Jon; Hammer, Eric
4
1994
The language of first-order logic. Including the Macintosh version of Tarski’s World 4.0. 3rd ed., rev. and exp. Zbl 0858.03002
Barwise, Jon; Etchemendy, John
10
1993
The language of first-order logic. Including the IBM-compatible Windows version of Tarski’s World 4. 0 (with 1 IBM-PC floppy disk). 3rd ed. Zbl 0942.03500
Barwise, Jon; Etchemendy, John
1
1992
Hypersets. Zbl 0756.03026
Barwise, Jon; Moss, Larry
8
1991
Situation theory and its applications. Vol. 2: Proceedings of the 2nd conference, Loch Rannoch, GB, September 1991. Zbl 0942.03522
Barwise, K. Jon (ed.); Gawron, Jean Mark (ed.); Plotkin, Gordon (ed.); Tutiya, Syun (ed.)
1
1991
Nonwellfounded sets and their applications. A joint AMS-MAA lecture presented in Louisville, KY, USA, January 1990. Videotape (NTSC; 60 min. VHS). Zbl 0919.03042
Barwise, Jon
2
1990
The situation in logic. Zbl 0664.03003
Barwise, Jon
32
1989
Three views of common knowledge. Zbl 0704.03008
Barwise, Jon
21
1988
The liar. An essay on truth and circularity. Paperback ed. Zbl 0678.03001
Barwise, Jon; Etchemendy, John
68
1987
Noun phrases, generalized quantifiers and anaphora. Zbl 0723.03011
Barwise, Jon
11
1987
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
Barwise, J. (ed.); Feferman, S. (ed.)
74
1985
Model-theoretic logics. (Parts D-F). Zbl 0587.03002
Barwise, J. (ed.); Feferman, S. (ed.)
4
1985
Shifting situations and shaken attitudes. An interview with Barwise and Perry. Zbl 0557.03002
Barwise, Jon; Perry, John
4
1985
Handbook of mathematical logic. Part 1-3. (Spravochnaya kniga po matematicheskoj logika. Chast’ 1-3). Transl. from the English. Zbl 0623.03002
Barwise, Jon (ed.)
5
1982
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001
Barwise, Jon (ed.)
1
1982
Generalized quantifiers and natural language. Zbl 0473.03033
Barwise, Jon; Cooper, Robin
125
1981
A correction to ”Stationary logic”. Zbl 0457.03034
Barwise, Jon; Kaufmann, Matt; Makkai, Michael
8
1981
The role of the omitting types theorem in infinitary logic. Zbl 0467.03034
Barwise, Jon
3
1981
The Kleene Symposium. Proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Zbl 0436.00007
Barwise, Jon (ed.); Keisler, H. Jerome (ed.); Kunen, Kenneth (ed.)
2
1980
On branching quantifiers in English. Zbl 0399.03008
Barwise, Jon
17
1979
Stationary logic. Zbl 0372.02031
Barwise, Jon; Kaufmann, Matt; Makkai, Michael
29
1978
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001
Barwise, Jon (ed.)
10
1978
Global inductive definability. Zbl 0395.03021
Barwise, Jon; Moschovakis, Yiannis N.
9
1978
On Moschovakis closure ordinals. Zbl 0367.02021
Barwise, Jon
32
1977
Some eastern two cardinal theorems. Zbl 0393.03023
Barwise, Jon
1
1977
An introduction to recursively saturated and resplendent models. Zbl 0343.02032
Barwise, Jon; Schlipf, John
34
1976
Some applications of Henkin quantifiers. Zbl 0347.02007
Barwise, Jon
10
1976
Admissible sets and structures. An approach to definability theory. Zbl 0316.02047
Barwise, Jon
262
1975
On recursively saturated models of arithmetic. Zbl 0343.02031
Barwise, Jon; Schlipf, John
12
1975
Axioms for abstract model theory. Zbl 0324.02034
Barwise, K. Jon
51
1974
Admissible sets over models of set theory. Zbl 0355.02031
Barwise, K. Jon
1
1974
A preservation theorem for interpretations. Zbl 0276.02034
Barwise, K. Jon
1
1973
Meeting of the Association for Symbolic Logic. New York 1969. Zbl 0269.02001
Nerode, Anil (ed.); Barwise, K. J. (ed.)
1
1973
Absolute logics and L\(_{\infty \omega}\). Zbl 0248.02061
Barwise, K. Jon
13
1972
The Hanf number of second order logic. Zbl 0281.02020
Barwise, K. Jon
4
1972
Hanf numbers for fragments of L\(_{\infty \omega}\). Zbl 0253.02010
Barwise, Jon; Kunen, Kenneth
15
1971
The next admissible set. Zbl 0236.02033
Barwise, K. J.; Gandy, R. O.; Moschovakis, Y. N.
13
1971
Infinitary methods in the model theory of set theory. Zbl 0219.02046
Barwise, J.
2
1971
Completing theories by forcing. Zbl 0222.02058
Barwise, Jon; Robinson, Abraham
44
1970
Infinitary properties of abelian torsion groups. Zbl 0222.02014
Barwise, Jon; Eklof, Paul
21
1970
The Shoenfield absoluteness lemma. Zbl 0206.01101
Barwise, J.; Fisher, Edward
5
1970
Infinitary logic and admissible sets. Zbl 0215.31806
Barwise, J.
38
1969
Applications of strict \(\Pi_ 1^ 1\) predicates to infinitary logic. Zbl 0216.00305
Barwise, J.
9
1969
Lefschetz’s principle. Zbl 0194.51701
Barwise, J.; Eklof, P.
5
1969
Remarks on universal sentences of \(L_{\omega_ 1},_ \omega\). Zbl 0215.31901
Barwise, J.
2
1969
The syntax and semantics of infinitary languages. Zbl 0165.00102
Barwise, Jon (ed.)
16
1968
Implicit definability and compactness in infinitary languages. Zbl 0195.30301
Barwise, Jon
2
1968
all top 5

Cited by 1,004 Authors

18 Shelah, Saharon
18 van Benthem, Johan F. A. K.
16 Rathjen, Michael
15 Morozov, Andreĭ Sergeevich
14 Väänänen, Jouko Antero
12 Friedman, Sy-David
11 Barwise, Kenneth Jon
11 Jäger, Gerhard
11 Maksimova, Larisa L’vovna
10 Knight, Julia F.
9 Feferman, Solomon
9 Puzarenko, Vadim G.
8 Makowsky, Johann-Andreas
7 Mares, Edwin D.
7 Tarlecki, Andrzej
6 Enayat, Ali
6 Krynicki, Michał Marian
6 Moss, Lawrence S.
6 Policriti, Alberto
6 Skowron, Andrzej
6 Welch, Philip D.
6 Westerståhl, Dag
5 Belyaev, V. Ya.
5 Floridi, Luciano
5 Goldblatt, Robert Ian
5 Hella, Lauri T.
5 Hjorth, Gregory
5 Holcapek, Michal
5 Kaufmann, Matt
5 Kechris, Alexander S.
5 Keenan, Edward L.
5 Kolaitis, Phokion G.
5 Kudinov, Oleg Victorovich
5 Milius, Stefan
5 Mundici, Daniele
5 Nadel, Mark E.
5 Otto, Martin
5 Sannella, Donald T.
5 Schlipf, John Stewart
5 Schmerl, James H.
5 Studer, Thomas
4 Ackerman, Nathanael Leedom
4 Adámek, Jiří
4 Allo, Patrick
4 Baldwin, John T.
4 Baltag, Alexandru
4 Carlson, Timothy J.
4 Chakraborty, Mihir Kumar
4 Díaz-Hermida, Félix
4 Dvořák, Antonín
4 Ershov, Yuriĭ Leonidovich
4 Fernando, Tim
4 Hachtman, Sherwood
4 Korovina, Margarita Vladimirovna
4 Loth, Peter
4 Lubarsky, Robert S.
4 Macintyre, Angus John
4 McColm, Gregory L.
4 Montalbán, Antonio
4 Murawski, Roman
4 Myasnikov, Alexei G.
4 Németi, István
4 Pinus, Aleksandr Georgievich
4 Pohlers, Wolfram
4 Ripley, David
4 Sánchez, Daniel Eduardo
4 Ternullo, Claudio
4 Tohmé, Fernando A.
4 Vardi, Moshe Y.
4 Velebil, Jiří
4 Vianu, Victor
4 Winter, Yoad
3 Abiteboul, Serge
3 Aiguier, Marc
3 Andréka, Hajnal
3 Badia, Guillermo
3 Bellman, Kirstie L.
3 Bezhanishvili, Nick
3 Blass, Andreas Raphael
3 Bugarín, Alberto
3 Carl, Merlin
3 Compton, Kevin J.
3 Dawar, Anuj
3 Delgado, Miguel Ángel
3 Đorđević, Radosav S.
3 Doets, Kees
3 Eklof, Paul C.
3 Engström, Fredrik
3 Friedman, Harvey M.
3 Fujimoto, Kentaro
3 Green, Judy
3 Gunji, Yukio-Pegio
3 Honsell, Furio
3 Honzik, Radek
3 Hyttinen, Tapani
3 Ikodinović, Nebojša
3 Jacoby, Carol
3 Kalimullin, Iskander Shagitovich
3 Kanamori, Akihiro
3 Kaye, Richard W.
...and 904 more Authors
all top 5

Cited in 127 Serials

101 Annals of Pure and Applied Logic
95 The Journal of Symbolic Logic
60 Journal of Philosophical Logic
50 Theoretical Computer Science
45 Studia Logica
44 Synthese
39 Archive for Mathematical Logic
34 Notre Dame Journal of Formal Logic
32 Algebra and Logic
22 Journal of Logic, Language and Information
21 Artificial Intelligence
20 Fuzzy Sets and Systems
20 Siberian Mathematical Journal
20 Transactions of the American Mathematical Society
19 Israel Journal of Mathematics
19 Proceedings of the American Mathematical Society
19 Information and Computation
17 Linguistics and Philosophy
17 Logica Universalis
14 Journal of Applied Logic
12 Archiv für Mathematische Logik und Grundlagenforschung
12 Journal of Computer and System Sciences
12 The Bulletin of Symbolic Logic
12 The Review of Symbolic Logic
9 History and Philosophy of Logic
9 Mathematical Logic Quarterly (MLQ)
9 Erkenntnis
8 Advances in Mathematics
7 Information Sciences
7 Journal of Symbolic Computation
6 Algebra Universalis
6 Journal of Pure and Applied Algebra
5 Journal of Automated Reasoning
5 International Journal of Approximate Reasoning
5 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
5 Journal of Applied Non-Classical Logics
5 Annals of Mathematics and Artificial Intelligence
4 Computers & Mathematics with Applications
4 Journal of Algebra
4 Mathematical Social Sciences
4 Topoi
4 Foundations of Science
3 Communications in Algebra
3 Information Processing Letters
3 Chaos, Solitons and Fractals
3 The Mathematical Intelligencer
3 Applied Mathematics and Computation
3 Theory and Decision
3 MSCS. Mathematical Structures in Computer Science
2 Acta Informatica
2 Periodica Mathematica Hungarica
2 Archiv der Mathematik
2 Journal of Economic Theory
2 Kybernetes
2 Topology and its Applications
2 New Generation Computing
2 Journal of the American Mathematical Society
2 Formal Aspects of Computing
2 Journal of Mathematical Sciences (New York)
2 Doklady Mathematics
2 Matematicheskie Trudy
2 Entropy
2 Natural Computing
2
2 Journal of Logic and Analysis
2 Nôus
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 International Journal of General Systems
1 International Journal of Systems Science
1 International Journal of Theoretical Physics
1 Journal of Mathematical Analysis and Applications
1 Mathematical Notes
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Rocky Mountain Journal of Mathematics
1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
1 BIT
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Compositio Mathematica
1 Journal of Combinatorial Theory. Series A
1 Journal of Soviet Mathematics
1 Kybernetika
1 Mathematische Annalen
1 Memoirs of the American Mathematical Society
1 Nagoya Mathematical Journal
1 Rendiconti del Circolo Matemàtico di Palermo. Serie II
1 Rendiconti del Seminario Matematico della Università di Padova
1 Semigroup Forum
1 Cybernetics
1 European Journal of Combinatorics
1 Physica D
1 International Journal of Intelligent Systems
1 Journal of Cryptology
1 Annales Scientifiques de l’Université Blaise Pascal Clermont-Ferrand II. Mathématiques
1 International Journal of Algebra and Computation
1 Artificial Intelligence Review
1 International Journal of Computer Mathematics
1 Linear Algebra and its Applications
1 Bulletin of the American Mathematical Society. New Series
1 Mémoires de la Société Mathématique de France. Nouvelle Série
...and 27 more Serials

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.