Barwise: Infinitary Logic and Admissible Sets

@article{Keisler2004BarwiseIL,
  title={Barwise: Infinitary Logic and Admissible Sets},
  author={H. Keisler and J. Knight},
  journal={Bulletin of Symbolic Logic},
  year={2004},
  volume={10},
  pages={4 - 36}
}
§0. Introduction. In [16], Barwise described his graduate study at Stanford. He told of his interactions with Kreisel and Scott, and said how he chose Feferman as his advisor. He began working on admissible fragments of infinitary logic after reading and giving seminar talks on two Ph.D. theses which had recently been completed: that of Lopez-Escobar, at Berkeley, on infinitary logic [46] (see also the papers [47], [48]), and that of Platek [58], at Stanford, on admissible sets. Barwise's work… Expand
13 Citations
Barwise: Abstract Model Theory and Generalized Quantifiers
  • J. Väänänen
  • Mathematics, Computer Science
  • Bulletin of Symbolic Logic
  • 2004
  • 13
  • PDF
Relative computability and uniform continuity of relations
  • 34
  • PDF
Complexity of Scott Sentences.
  • 3
  • PDF
Can logic be combined with probability? Probably
  • 13
INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES
  • 31
  • PDF
Spectral spaces of countable abelian lattice-ordered groups
  • 3
  • Highly Influenced
  • PDF
Real closed exponential fields
  • 7
  • PDF
...
1
2
...

References

SHOWING 1-10 OF 102 REFERENCES
Metarecursively enumerable sets and admissible ordinals
  • 13
  • PDF
An Example Concerning Scott Heights
  • M. Makkai
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1981
  • 44
Lefschetz's principle
  • 10
An Introduction to Recursively Saturated and Resplendent Models
  • 84
A general framework for priority arguments
  • 8
  • PDF
Monotone Quantifiers and Admissible Sets
  • 15
Toward Model Theory Through Recursive Saturation
  • J. Schlipf
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1978
  • 40
On omega-Consistency and Related Properties
  • S. Orey
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1956
  • 41
Almost everywhere equivalence of logics in finite model theory
  • 54
Denumerable Models of Complete Theories
  • 134
  • PDF
...
1
2
3
4
5
...