Jump to Content
Feferman - Montague Monograph
Correspondence & publishing agreement.
Dittoed material - Chapters 1-3, etc.
Chapters 1-2, old version.
Chapters 3-4, second copy (with letter about directness theorem).
Chapter 2, theorem 4, carbon.
Continuum of relative interpretability types (abstract).
Independently axiomatizable theories, abstract & early notes.
Generalization of Goedel's two theorems (symposium paper, etc.).
General formulations of Goedel's second underivability theorem.
Extremes of Goedel's second incompleteness theorem, talk in Chicago. April 1965.
Chapters 1-9 off[icial] copy.
Errors of Way & Mostowski.
Chapter 10 (strongly arithmetical, or set theoretical theories).
Feferman. Arithmetization of metamathematics in a general setting.
Feferman pencilled class notes.
Feferman: lecture notes on metamathematics.
Church, manuscript on formal theories.
Philosphy 12A (Berkeley). Summer 1969.
Philosphy 12A (Berkeley). Summer 1969.
Predicate calculus: how to eliminate descriptions (and other definite singular terms).
Philosophy 232B. Fall 1965, & Amsterdam. Spring 1966, official dittoed notes --- pp.1-52 (elementary syntax).
Philosophy 232 B. Fall 1965, & Amsterdam. Spring 1966, official dittoed notes --- pp.52-95 (non-elementary syntax).
Philosophy 231 January 1964-1965, dittoed notes, official.
Philosophy 232B. Fall 1965.
Pragmatics & intensional logic, notes & talks.
Pragmatics (paper), supplementary materials.
Pragmatics & language. Spring 1966.
On the nature of some philosophical entities (abstract).
Philosophy 240, set theory. Spring 1959, lecture notes.
Philosophy 240, set theory. Spring 1962, lecture notes.
[Philosophy 127A / 287].
Philosophy 221, set theory.
Philosophy 221C. Spring 1967.
Philosophy 127 / 287. Winter/Spring 1970.
Philosophy 192, philosophy of language. Fall 1958.
Philosophy 127 / 287. Spring 1955.
Philosophy 127 / 287. Spring 1963.
Kalish - Montague text corrections.
Philsophy 32. Winter 1970.
Philosophy. Spring 1964.
Philosophy 31. Fall 1970.
Philosophy 31. Fall 1968 --- Includes TA evaluations.
Philosophy 31. Fall 1967.
Philosophy 31. Winter 1967.
Philosophy 31. Fall 1963.
Philosophy 31. Fall 1956.
Philosophy 31. Spring 1956.
Philosophy 31. Spring 1956.
Philosophy 30, inductive logic. Spring 1956, Fall 1958, Spring 1960.
Philosophy 126, philosophy of science. Fall 1956.
Philosophy 126, philosophy of science. Spring 1956, lecture notes.
Philosophy 126, philosophy of science. Spring 1959, lecture notes.
Philosophy 126, philosophy of science. Spring 1960, student notes.
Philosophy 222. Fall 1963, lecture & student notes.
Philosophy 222. Spring 1965, student notes (end section missing).
Philosophy 223. Spring 1963, lecture & student notes.
Philosophy 226. Winter, Spring 1967, lecture & student notes.
Philosophy 221A-C. 1964/1965, class notes.
Philosophy 231. 1964/1965, lecture notes.
Philosophy 186, Epistemology Fall 1965, lecture notes & final exam.
Mathematics 290G (Berkeley), Foundations of set theory. Spring 1961.
Mathematics 223, Advanced topics in set theory. 1967-1968.
Mathematics 135A (Montague taught at Berkeley). Fall 1960.
Philosophy 240, recursive functions. Fall 1969, lecture notes.
Philosophy 260. 1967-1968.
Philosophy 262B, recursive functions. Spring 1969.
Philosophy 262A, philosophy of language. Fall 1968.
Philosophy 241. Spring 1957.
Philosophy 241, dittoed material. Spring 1956.
Philosophy 241. Spring 1958, Kleeve.
Philosophy 241. Fall 1961, dittoed material.
Philosophy 241. Fall 1961.
Philosophy 135. Spring 1962, lecture & student notes, exam.
Philosophy 135. Spring 1959, lecture notes.
Philosophy 135. Spring 1964, lecture & student notes, exams.
Philosophy 135. Spring 1969, lecture & student notes.
Philosoph 128, philosophy of mathematics. Spring 1967, student notes.
Philosophy 128, philosophy of mathematics. Spring 1967, lecture notes.
Philosophy 128. Fall 1961, lecture & student notes, exams.
Philosophy 128. Fall 1964, lecture & student notes.
UC Berkeley, Philosophy 185. Fall 1957, Fall 1959 --- Student notes while at Berkeley, miscellaneous, including TA notes.
UC Berkeley, Philosophy 185. Spring 1955.
UC Berkeley, Mathematics 150A, with Loeve.
RM's student notes from Mathematics 290V (model theory), Tarski-Vaught. 1960-1961.
RM's student notes from Tarksi's Math 225A. 1948-1949.
[UCB - RM] Mathematics 202 (Spring 1961), with Bredon.
Mathematics 202 (Spanier), problems & notes. Fall 1960.
Mathematics 3B. Spring 1954, Berkeley, Montague T.A.
Math D & Math 2, Berkeley. Fall 1954, Montague T.A.
Philosophy 184. Fall 1957.
Philosophy 134. Fall 1958, lecture notes & final exam.
Philosophy 134. Fall 1959.
Philosophy 134. Winter 1969.
Philosophy 134. Spring 1970, lecture & student notes.
Philosophy 6A-6B. 1956-1957.
Philosophy 260. Fall/Winter 1967-1968, mathematical philosophy.
Philosophy 127 & 287. Winter/Spring 1970.
Philosophy 127/287. Winter/Spring 1970. Dittoed class notes, file copy.
Philosophy 262A. Fall 1963, dittoed notes.
Philosophy 260. Fall 1967 & Winter 1968, dittoed notes, file copy.
Philosophy 262A. Fall 1968, partial.
Philosophy 262. Fall 1968, philosophy of language --- Includes class roster & enrollment cards.
Pragmatics: Charles Howard, modal logical.
Philosophy 260, extra copy of dittoed notes on analysis of natural language.
Recital, concert, play programs (events in which I am not a participant), miscellaneous bulletins.
Organists' & choral directors' guilds.
Miscellaneous church & organ business.
Letters connnected with process.
Combinations, references to music.
Musical announcements, programs.
Philosophy of Language (Miscellaneous Research Notes)
Davidson (notes on his papers).
Ordinary language: English as a formal language, talks (Vancouver & abstract, Milan, Los Angeles).
On the nature of certain philosophical entities, notes on.
On the nature of certain philosophical entities: talks, notes & abstract.
Miscellaneous research notes. June 1969- .
Analysis of ordinary language: miscellaneous materials.
Intensional verbs & Berkeley's argument.
Intensional logic & some of its connections with ordinary logic: talks.
Berkeley class. Summer 1969, lecture notes.
The role of formal logic.
Universal grammar: talks & correspondence.
Pragmatics: subjunctive conditionals.
Notes during Fall 1969, most of which led to the paper Universal grammar.
Proper treatment of quantification in ordinary English language: talk at Berkeley. February 1971 --- Correspondence only.
Universal grammar, manuscript.
English as a formal language I, manuscript.
English as a formal language, manuscript.
On the nature of certain philosophical entities, manuscript.
Intensional logic & some of its connection with ordinary language: notes.
Miscellaneous notes: October 1968-May 1969.
Logical analysis in ordinary language.
English as a formal language.
On the nature of certain philosophical entities.
English as a formal language I, Zerox of typescript.
The paradox of the stone.
Chomsky, etc.: bibliographic references, articles.
Recursiveness of syntactic categories.
The proper treatment of quantification in ordinary English: talks, latest version.
Proper treatment of quantification in ordinary English, typescript.
Proper treatment of quantification in ordinary English: talks, all but latest version.
Pragmatics (paper): notes concerning.
Ordinary language: English as a formal language, notes.
Ordinary language, analysis of.
Pragmatics & intensional logic: paper.
Referential opacity, sense data, intensional data.
Student [job posting].
Miscellaneous requests - pending.
Reprint (reprint series).
Tarski - Festschrift.
Grants - NSF [National Science Foundation] submitted March 1969.
Academic appointments, grants, fellowships, professional matters.
Albuquerque: talk & prospectus.
Appointment to UCLA memorabilia.
Arithmetical classes: extension to the transfinite.
Arithmetical classes (semi-axiomatizes).
Automata, selected reprints on.
Calculus of ought, Montague.
Calculus of prenex forms.
Carnap: foundations of physics.
Carnap: applications of logic (from logical theory course).
Carnap's probability book, notes.
Carnap probability notes.
Carnap: probability seminar.
Carnap, Schlipp volume.
Chang's lectures. Fall 1964 (model theory).
Chang's seminar on undecided theories, McLaughlin's report.
Chang's seminar on semantics.
Chang's seminar. Spring 1962, model theory with values in a uniform space.
Consistency of set theory, relative consistency theories.
Contributions to the axiomatic foundations of set theory, copy 3.
Contributions to the axiomatic foundations of set theory, old copy 2.
Contributions to the axiomatic foundations of set theory, copy 4.
Contributions to the axiomatic foundations of set theory, notes & sketches.
Convergence in topology.
DeBouvere: bilateral interpretability & synonymity.
Definable models of set theory.
Degrees of unsolvability.
Deterministic theories, manuscript.
Deterministic theories, with revisions sent to Washburne & note from Markovic.
Deterministic theories, notes & revisions.
Differential equations (corrected with determinism).
Doubly recursive functions.
Editorial responsibilities, Journal of Philosophical Logic.
Editorial responsibilities, The Philosophical Forum.
Effective operations, etc.
Gaifman, model theory, class at UCLA. Spring 1968.
Functional calculus which holds in the null domain.
Friedman (prenex nf proof).
Hemphill & Oppenheim on explanation (Eberle, Kaplan & Montague).
Herbrand theorem - attempts.
Higher-order logic: foundations of.
Higher-order logic: reductions of.
Higher-order logic: reductions of, manuscript.
Higher-order logic: Kurtzman.
Higher-order logic: recent problems.
Higher-order logic: Craig's lemma & 2nd order model theory (?).
Higher-order logic: miscellaneous.
Higher-order logic: set theory & higher-order logic.
Higher-order logic (see also black notebook).
Higher order structures.
Incomparable theories (abstract).
Interpretability in terms of models.
Interpretability vs. relative interpretability.
Intensional logic: Dana, David, manuscript.
Keisler's talk, with comments.
Keisler, et al. Model theory, notes on lectures at UCLA. 1967-1968.
Keisler, dittoed notes from UCLA model theory class. Fall 1967.
Keisler, notes on model theory from Wisconsin.
Kreisel & Wang paper, my notes on.
Kreisel, two expository notes on foundations (for set theory symposium book). Summer 1967.
Kreisel, two notes ...
Letters, miscellaneous from logicians.
Letters, miscellaneous, university business.
Letters. Spring 1966.
Letters sent, (copies), [1961-1962].
Letters, telegrams received. June-August 1958.
Letters received. January-February 1958.
Letters received. September-December 1957.
Letters received. late 1957, early 1958.
Letters of recommendation.
Letters. 1960-1961, professional correspondence.
Letters (including paradox regained correspondence). 1959, 1960.
Letter to Tarski. 19 March 1957.
Levy's first axiom: Tarski's axiom of inaccessible sets.
London. June 1966.
Logic notes, miscellaneous.
Logic of science.
Logic: techniques, corrections, 4th set (November 1965).
Logic: techniques for formal reasoning, some correspondence.
Logic: techniques ..., miscellaneous improvements, remarks & corrections.
Logical necessity, physcial necessity, ethics and quantifiers.
Logical necessity ... revised version, manuscript & carbons & galleys.
Mahlo numbers, inaccessibles.
Mailings of reprints, etc., record of mailings (before 1970).
Mailings of reprints & copies of papers (record of). 1970- .
McLaughlin, recursive foundation seminar. Spring 1962.
Models for set theory (notes on Tarski's manuscript).
Model theory: lectures at LSE (June 1966) & UBC (July-August 1968) & LSE (1962).
Model theory: miscellaneous.
Mutual interpretability vs. mutual relative interpretability.
Mutual interpretability vs. mutual relative interpretability (old).
Meetings 1970 - September & November. Stanford workshop on grammar and semantics of natural language.
Meetings - September, November. Stanford Materials III - most interesting. Also contains some comments.
Meetings - Stanford. September, November 1970, Materials Moravcsik, with my notes & comments on mass terms.
Meetings - Stanford workshop papers: Partee & Suppes & Moravcsik & my comments.
Meetings - September, November 1970, Stanford Materials I.
Meetings - September, November 1970, Stanford Materials 2.
Meetings - Amsterdam, general assembly.
Meetings - Summer 1959, Warsaw, abstracts & notes.
Meetings - Berkeley & Europe. Summer 1963.
Meetings - Helsinki. Summer 1962.
Meetings - Summer 1963, model theory symposium.
Meetings - Summer 1963, Oxford symposium.
Meetings - Stanford Congress.
Meetings - Israel. Summer 1964.
Meetings - Summer 1967, Amsterdam Congress, abstracts & notes from talks & programs.
Meetings - Los Angles. Summer 1967, set theory institute.
Meetings - Los Angeles. Summer 1967, institute on set theory, handwritten notes & edited notes.
Meetings - Los Angeles. Summer 1967, set theory institute, mimeoed notes.
Meetings - Vienna 1968.
Meetings - New Orleans ASL [Association for Symbolic Logic]. January 22-23 1969, personal.
Meetings - June 1970, Israel.
Meetings - ASL. January 1971, Atlantic City, personal.
Meetings - May 1971, Department of Linguistics and Philosophy, UCLA.
Meetings - August/ September 1971, Bucharest, International Congress.
[Miscellaneous (1st drawer - desk in Dwinelle)?].
Miscellaneous notes [abstracts].
Miscellaneous, preservable things.
[Montague collection: Bequest of the Montague estate. 1971].
[Montague's personal - doctoral program].
[Montague's personal - program for organ concert].
[Montague, Richard (personal, professional correspondence)].
[Montague's personal - Homework in Math 235.] [1952-1953].
[National Science Foundation - Research Metamathematics. 1968].
New Mexico class. March 1967.
Non-finite axiomatizability: 1. talk before AMS 2. additional notes ... 3. some notes ... unimportant.
Non-finite axiomatizability (notes which are probably of no importance).
Non-finitizable & essentially abstract, also some miscellaneous note on non-finite axiomatizability.
Notes on articles & books.
[Notes on colloquia talks 1970-1971].
Notes from my talk at Cornell, manuscript of abstract.
NSF - proposal submitted,(November 1964).
On the definition of formal deduction.
On the nature of number.
On the notion of interpretability.
On the paradox of grounded classes.
Opportunities for travel & visiting appointments.
A paradox regained.
Personal mementos --- Includes 3 passports.
[Philosophical notes, miscellaneous. September 1970].
[Philosophy notes, miscellaneous. October 1970- ].
Philosophy notes taken while a student.
Poems, story fragments.
Pragmatics (paper), manuscript.
Pragmatics & intensional logic, manuscript.
Pragmatics & intensional logic, Dana's modal logic.
Pragmatics ditto masters.
Predicate calculus - Montague.
Predicate calculus, rarified.
Predicate calculus: On Tarski's formalization ...
Predicate calculus: On Tarski's formalization ... early drafts.
Predicate calculus: On Tarski's formalization ... connected material & letters.
Predicate calculus (Tarksi, Monk).
Predicate calculus w/terms.
Predicate calculus (with op[eration]. sym[bol]'s and/or descr. phrases).
Prelims. [Qualifying exams with comments].
Preliminary exams, old.
Printed matter, miscellaneous, which has been read.
Prior comments on philosophers & students.
Prior, objects of thought.
Probability & intituitionism.
Problems, preliminary questions (& miscellaneous questions).
[Professional correspondence to RM].
Proofs of miscellaneous theorems.
Publications, printed references to me, programs, of meetings, recital programs, vita.
Publishers & publishers' representatives & literary agents - before 1969.
Rank, notion of (summary of talk which never been given, summarizing novelties of MST.
Real closed fields.
Real numbers, construction of.
Recipients of papers and reprints (lists).
Recursion theory monograph - old.
Recursion theory as a brand of model theory, manuscript.
Recursion theory: Gandy & Barwise, UCLA class. Winter & Spring 1968.
Recursion theory (generalized) and weak 2nd order logic, old things.
[Recursion theory, miscellaneous notes].
Recursion theory as a branch of modal theory - ditto masters.
Referee's report: F.G. Asenjo.
Referee's report: Bunder's thesis.
Referee's report: Cobham's paper.
Referee's report: J.L. Cohen (first & second versions).
Referee report: Gabbay.
Referee's report: miscellaneous.
Referee's report: Hunter.
Referee's report: G. Stahl.
Referee's report: R.M. Jones (or fragments, thereof).
Referee's report on R.M. Jones' paper (notes on it).
Referee's report: S. Kiss' papers.
Referee's reports: van Fraassen.
Referee's reports: Leblanc 1967.
Referee's report: D. Pager (sent to A.R. Anderson).
Referee's report: Robert Rogers.
Referee's report: Brown & Stuermann.
Referee's report: Gerald B. Standley.
Referee's report: Vickers proposal.
Referee's report: W.L. Zlot.
Retirement fund, social security.
Reviews: general information for reviewers.
Reviews of Leblanc.
Reviews of Martin.
Review of Martin: Intension and decision.
Reviews: Morris and Resnikoff.
Reviews of Simon.
Review of Tucker.
Review of Wang: Arithmetic translations of axiom systems ... relevant letters from Church.
Review of Wang: Between number theory and set theory.
Review of Wang.
Reviews of recitals in which I have participated, letters of appreciation for same, --- Announcements for same, invitations to play same, some church programs.
Robinson's seminar. Spring 1963.
Robinson's informal seminar 1963-1964.
Role of formal logic.
Rules of thumb, infallible.
Sabbatical. August 1962-January 1963.
Schonfield, recursion theory, mimeo of notes from UCLA class. Fall 1967.
Schonfield, recursive theory, notes on lectures at UCLA. Fall 1967.
Scientific notes, miscellaneous.
Scientific notes, miscellaneous before 1955.
Scott: cumulative theory of types.
Scott: interpolation theory.
Set theory: higher card operations (April 1967- ).
Set theory: miscellaneous notes. April 1967- .
Set theory: gen'd cont. hyp. a possible proof.
Set theory: Grewe's summary of Goedel's monograph.
Set theory: higher operations.
Set theory: justification (begun May 1964).
Set theory: Cantor's absolute.
Set theory: Cohen's proof.
Set theory: foundations of (Summer 1964).
Set theory: Reflection principles & closure principles.
Contributions to axiomatic foundations of set theory (manuscripts).
Higher order logic: set theory & 2nd order logic ...
Shelah, lectures August 1970.
Smith, Perry. Dissertation, version 12 May 1970, also, parts of older versions.
Standard models of set theories and ranks of set theories.
Stencils (Philosophy 187B).
Stockholm: Spring 1966.
Suppes: Talk at Popper's London seminar. June 14, 1966.
Suppes (mimeographed material on set theory).
Syntactical treatments of modality: hangman paradox, etc.
System of Stupecki.
Tarski: talk on cylindric algebra.
[Tarski] at Stanford on the measure problem.
Tarski: seminar on the decision problem Winter 1967.
That talk to Philos. Club. December 1, 1961.
Theories not finitely axiomatizable (loose scribbles).
Texts: trial offers.
Theories which are not finitely axiomatizable (copy 1).
Theories which are not finitely axiomatizable, manuscripts & typed copy --- Accompanying typed footnotes & title page for thesis.
Theories which ... [theorem 6 ?] ...
Theories which ... [theorem 8?], manuscript & typescript.
Theories which ... [theorem 9?], manuscript & typed copy.
Theories which are not finitely axiomatizable, manuscript.
Theories which are not finitely axiomatizable (portable kit).
Theories which are not ... old footnotes, memoranda.
Theories which ... [theorem 2] (predicate calculus), manuscript & typescript.
Theory of models: Chang's seminar.
Towards a general theory of computability / and using machines.
Travel information, travel agents, obsolete currency converter.
Travel applications: Montague.
Travis, Larry: dissertation, first uncorrected draft, pp.1-199. (folder 1 of 2).
Travis, Larry: dissertation, first uncorrected draft (pp.200-402). (folder 2 of 2).
Tripodes, Peter: M.A. thesis.
Two contributions to the foundations of set theory by Richard Montague.
Undecidability of integration theory.
U.S. National Committee - service as member of USNC.
[USNC - miscellaneous].
U.S. National Committee constitution, most recent.
U.S. National Committee constitution, old.
U.S. National Committee 5th annual meeting in Washington. 1962, personal.
U.S. National Committee 1964 meeting, personal.
U.S. National Committee 1965 meeting.
U.S. National Committee 1965 meeting, personal.
U.S. National Committee 1966 meeting (including proposals) for travel money to Amersterdam.
U.S. National Committee 1967 meeting.
U.S. National Committee 1968 meeting.
U.S. National Committee 1969 meeting.
U.S. National Committee membership lists.
U.S. National Committee minutes of full committees and sub-committees.
U.S. National Committee service as chairman of LMPS sub-committee.
U.S. National Committee Amsterdam Congress, excerpts.
U.S. National Committee Amsterdam Congress & USNC preparations for it.
U.S. National Committee Amsterdam 1967 letters to industry.
Vaught - Montague paper, old.
Vaught - Montague, final typescript together with corrections.
Vaught - Montague paper, manuscript, old version.
Vaught - Montague paper, carbons, old version.
Wald, notes on, Die Widerspruchs, Ergebuisse eines math Koll., vol.8 (1935-1936), pp.38-72.
[Linguistics - Partes paper].
Morewedge, Parviz: A study in Ibn Sina's metaphysical system, 1-6. (folder 1 of 3).
Morewedge, Parviz: A study in Ibn Sina's metaphysical system, translation. (folder 2 of 3).
Morewedge, Parviz: A study in Ibn Sina's metaphysical system, notes & glossary. (folder 3 of 3).
An axiomatic development of set theory - Appendix 1 (logical).
An axiomatic development of set theory - rank-free axioms for set theory.
An axiomatic development of set theory, Appendix 1: stencils.
An axiomatic development of set theory - some questions of cardinality.
An axiomatic method (symposium), programs, & abstracts [empty].
Retirement fund, social security --- Material removed from box 31, folder 10.
Philosophy 126 , philosophy of science. Spring 1960, student notes.