Course of Mathematical Logic
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Netherlands

9789027705105, 9789401020978

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Isomorphisms and Equivalences in Relation to the Calculus of Infinitely Long Formulas with Finite Quantifiers

Course of Mathematical Logic ◽

10.1007/978-94-010-2097-8_9 ◽

1974 ◽

pp. 158-178

Author(s):

Roland Fraïssé

Download Full-text

Theories and Axiom Systems

Course of Mathematical Logic ◽

10.1007/978-94-010-2097-8_5 ◽

1974 ◽

pp. 93-111

Author(s):

Roland Fraïssé

Keyword(s):

Axiom Systems

Download Full-text

Pseudo-Logical Class; Interpretability of Theories; Expansion of a Theory; Axiomatizability

Course of Mathematical Logic ◽

10.1007/978-94-010-2097-8_6 ◽

1974 ◽

pp. 112-126

Author(s):

Roland Fraïssé

Download Full-text

Local Isomorphism and Logical Formula; Logical Restriction Theorem

Course of Mathematical Logic ◽

10.1007/978-94-010-2097-8_1 ◽

1974 ◽

pp. 1-29

Author(s):

Roland Fraïssé

Keyword(s):

Logical Formula ◽

Restriction Theorem ◽

Local Isomorphism

Download Full-text

Forcing

Course of Mathematical Logic ◽

10.1007/978-94-010-2097-8_8 ◽

1974 ◽

pp. 144-157

Author(s):

Roland Fraïssé

Download Full-text

Ultraproduct

Course of Mathematical Logic ◽

10.1007/978-94-010-2097-8_7 ◽

1974 ◽

pp. 127-143

Author(s):

Roland Fraïssé

Download Full-text

Extension Theorems

Course of Mathematical Logic ◽

10.1007/978-94-010-2097-8_4 ◽

1974 ◽

pp. 70-92

Author(s):

Roland Fraïssé

Keyword(s):

Extension Theorems

Download Full-text

Logical Convergence; Compactness, Omission and Interpretability Theorems

Course of Mathematical Logic ◽

10.1007/978-94-010-2097-8_2 ◽

1974 ◽

pp. 30-45

Author(s):

Roland Fraïssé

Download Full-text

Elimination of Quantifiers

Course of Mathematical Logic ◽

10.1007/978-94-010-2097-8_3 ◽

1974 ◽

pp. 46-69

Author(s):

Roland Fraïssé

Download Full-text