Revisable Justified Belief: Preliminary Report.

### Lecture notes

Knowledge, Justification, and Reason-Based Belief. Belief as Willingness to Bet. Arrow Update Logic. Generalized Arrow Update Logic. Simple Evidence Elimination in Justification Logic. Public Communication in Justification Logic.

Justified Belief Change. Freyd and A.

- Are Extraterrestrials a Threat to Humankind?.
- Building Construction Handbook, Fifth Edition.
- Account Options?
- Logic Colloquium '88 Proceedings of the Colloquium Held in Padova, Italy, August 22-31, 1988.
- Twilight People: One Mans Journey to Find His Roots.

Robertson and P. Hirst , Weak comparability of well orderings and reverse mathematics, Annals of Pure and Applied Logic 47 , pp.

### Stanford Libraries

Meyer , Wither Relevance Arithmetic? Simpson and X. Sheard , Elementary descent recursion and proof theory, Annals of Pure and Applied Logic 71 , pp.

- Publications of Erik Palmgren.
- Areas of Specialization.
- Biosocialities, Genetics and the Social Sciences: Making Biologies and Identities!
- Natural Fullerenes and Related Structures of Elemental Carbon: 6 (Developments in Fullerene Science).
- Geometry of Banach Spaces-Selected Topics.

Simpson , Issues and problems in reverse mathematics, in: Computability Theory and Its Applications, Contemporary Mathematics, volume , , Internal finite tree embeddings, in: Reflections on the Foundations of Mathematics: Essays in honor of Solomon Feferman, ed. Metamathematics of comparability, in: Reverse Mathematics, ed. Simpson, Lecture Notes in Logic, vol.

My Forty Years on His Shoulders. Logic, Vol. Selection for Borel relations, in: Logic Colloquium 01, ed. Godeharad Link, de Gruyter, , Enayat and Kossak, , In The future of software engineering Nanz, ed. Itay Neeman, Ultrafilters and large cardinals.

## Michael Potter

Itay Neeman, Aronszajn trees and failure of the singular cardinal hypothesis. Archive for Mathematical Logic, vol. Yuri Gurevich and Itay Neeman, The logic of infons. Itay Neeman, Monadic theories of wellorders.

Itay Neeman, The strength of Jullien's indecomposability theorem. Itay Neeman, Propagation of the scale property using games. In Games, scales, and Suslin cardinals, the Cabal seminar vol.

## AndrĂ© Nies' home page

I Kechris, Loewe, Steel, eds. Itay Neeman, Monadic definability of ordinals. Notes Ser. Itay Neeman, Hierarchies of forcing axioms II. Itay Neeman, Finite state automata and monadic definability of singular cardinals.

## Willard van Orman Quine

Itay Neeman, Determinacy and Large Cardinals. Proceedings of the International Congress of Mathematicians, vol. II, Madrid , pp. Society Publishing House, Itay Neeman and John Steel, Counterexamples to the unique and cofinal branches hypotheses.