Tarski Symposium - Proceedings of Symposia in Pure Mathematics
Latest Publications

TOTAL DOCUMENTS

36

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By American Mathematical Society

9780821814253, 9780821893111

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Isomorphisme local et équivalence associé à un ordinal; utilité en calcul des formules infinies à quanteurs finis

Tarski Symposium - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/025/0357123 ◽

1974 ◽

pp. 241-254 ◽

Author(s):

Roland Fraïssé

Download Full-text

Cylindric algebras and related structures

Tarski Symposium - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/025/0376346 ◽

1974 ◽

pp. 105-121 ◽

Author(s):

Leon Henkin ◽

J. Donald Monk

Keyword(s):

Cylindric Algebras

Download Full-text

Completeness and axiomatizability in many-valued logic

Tarski Symposium - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/025/0363802 ◽

1974 ◽

pp. 411-435 ◽

Author(s):

Dana Scott

Download Full-text

Logic without iterations

Tarski Symposium - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/025/0357078 ◽

1974 ◽

pp. 265-268

Author(s):

Andrzej Ehrenfeucht

Download Full-text

Indecomposable ultrafilters and 0^{#}

Tarski Symposium - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/025/0360276 ◽

1974 ◽

pp. 357-363 ◽

Author(s):

Jack H. Silver

Download Full-text

Observations concerning elementary extensions of 𝜔-models

Tarski Symposium - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/025/0376333 ◽

1974 ◽

pp. 349-355 ◽

Author(s):

Andrzej Mostowski

Download Full-text

The role of the Pasch axiom in the foundations of Euclidean geometry

Tarski Symposium - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/025/0373872 ◽

1974 ◽

pp. 123-132 ◽

Author(s):

Wanda Szmielew

Keyword(s):

Euclidean Geometry ◽

Pasch Axiom ◽

The Pasch Axiom

Download Full-text

The axiomatic method in the empirical sciences

Tarski Symposium - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/025/0366582 ◽

1974 ◽

pp. 465-479 ◽

Author(s):

Patrick Suppes

Keyword(s):

Axiomatic Method

Download Full-text

Applications of many-sorted interpolation theorems

Tarski Symposium - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/025/0406772 ◽

1974 ◽

pp. 205-223 ◽

Author(s):

Solomon Feferman

Download Full-text

Model theory 1945–1971

Tarski Symposium - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/025/0472502 ◽

1974 ◽

pp. 173-186 ◽

Author(s):

C. C. Chang

Keyword(s):

Download Full-text