Tarski Symposium - Proceedings of Symposia in Pure Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 12

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 ◽

Cited By ~ 73

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 2

Author(s):

Andrzej Mostowski

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 ◽

Cited By ~ 15

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 ◽

Cited By ~ 2

Author(s):

C. C. Chang

Keyword(s):

Model Theory

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 ◽

Cited By ~ 6

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 ◽

Cited By ~ 5

Author(s):

Patrick Suppes

Keyword(s):

Axiomatic Method

Download Full-text

Tarski Symposium - Proceedings of Symposia in Pure MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By American Mathematical Society

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

Cylindric algebras and related structures

Completeness and axiomatizability in many-valued logic

Logic without iterations

Indecomposable ultrafilters and 0^{#}

Observations concerning elementary extensions of 𝜔-models

Applications of many-sorted interpolation theorems

Model theory 1945–1971

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

The axiomatic method in the empirical sciences

Tarski Symposium - Proceedings of Symposia in Pure Mathematics
Latest Publications