Advanced Search

Match of the following rules

Add Sub-clause

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

The search session has expired. Please query the service again.

Currently displaying 1 – 2 of 2

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)