Currently displaying 1 – 2 of 2

Showing per page

Order by Relevance | Title | Year of publication

Formally self-referential propositions for cut free classical analysis and related systems

G. Kreisel;  G. Takeuti — 1974

CONTENTSIntroduction............................................................................................................................................................................................................ 5  I. Results on self-referential propositions............................................................................................................................. 11    1. Definitions of some principal metamathematical notions......................................................................

First order topology

C.W. Henson;  C.G. Jockusch, Jr.;  L.A. Rubel;  G. Takeuti — 1977

CONTENTS§ 1. Introduction.................................................................................................... 5§ 2. Basic development............................................................................................... 8§ 3. Some elementarily equivalent spaces............................................................. 11§ 4. Elementary characterizations of some familiar spaces................................ 13§ 5. First order properties of C(X).................................................................................

Page 1

Download Results (CSV)