Jon Barwise

Available identifiers

zbMath Open barwise.jon.1WikidataQ723578 ScholiaQ723578MaRDI QIDQ1181861

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4588560	2017-10-27	Paper
Admissible Sets and Structures	2017-07-06	Paper
Three Views of Common Knowledge	2017-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q3096993	2011-11-15	Paper
Information Flow	2008-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4518801	2001-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4495849	2000-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4951952	2000-05-09	Paper
Interpolation, preservation, and pebble games	1999-11-23	Paper
Information and impossibilities	1999-09-09	Paper
Information Flow	1999-03-02	Paper
Modal correspondence for models	1998-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q4397040	1998-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q5691489	1997-04-21	Paper
https://portal.mardi4nfdi.de/entity/Q4717366	1996-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q4875400	1996-05-01	Paper
On the Logic of Information Flow	1996-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4856150	1995-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4698603	1995-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4321942	1995-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q3992554	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3993251	1992-09-17	Paper
Hypersets	1992-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3483262	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3211283	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4724595	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4726220	1986-01-01	Paper
Shifting situations and shaken attitudes	1985-01-01	Paper
A correction to “stationary logic”	1981-01-01	Paper
The role of the Omitting Types Theorem in infinitary logic	1981-01-01	Paper
Generalized quantifiers and natural language	1981-01-01	Paper
On branching quantifiers in English	1979-01-01	Paper
Stationary logic	1978-01-01	Paper
Global inductive definability	1978-01-01	Paper
On Moschovakis closure ordinals	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4175540	1977-01-01	Paper
Some applications of Henkin quantifiers	1976-01-01	Paper
An introduction to recursively saturated and resplendent models	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4075450	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4109661	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4110995	1975-01-01	Paper
Mostowski's collapsing function and the closed unbounded filter	1974-01-01	Paper
Axioms for abstract model theory	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4126329	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4401435	1973-01-01	Paper
The Hanf number of second order logic	1972-01-01	Paper
Absolute logics and L∞ω	1972-01-01	Paper
Hanf numbers for fragments of L\(_{\infty \omega}\)	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5623691	1971-01-01	Paper
The next admissible set	1971-01-01	Paper
The Shoenfield absoluteness lemma	1970-01-01	Paper
Infinitary properties of abelian torsion groups	1970-01-01	Paper
Completing theories by forcing	1970-01-01	Paper
Lefschetz's principle	1969-01-01	Paper
Remarks on universal sentences of \(L_{\omega_ 1},_ \omega\)	1969-01-01	Paper
Infinitary logic and admissible sets	1969-01-01	Paper
Applications of Strict Π11 predicates to infinitary logic	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5591510	1968-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jon Barwise