Non-Classical Logics, Model Theory, And Computability - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Elsevier

9780720407525

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Part III Computability

Non-Classical Logics, Model Theory, And Computability - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70657-8 ◽

1977 ◽

pp. 253

Download Full-text

Quantifier Elimination in Fields

Non-Classical Logics, Model Theory, And Computability - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70656-6 ◽

1977 ◽

pp. 243-252

Author(s):

J.R. Shoenfield

Keyword(s):

Quantifier Elimination

Download Full-text

Present Problems about Intervals in Relation-Theory and Logic

Non-Classical Logics, Model Theory, And Computability - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70652-9 ◽

1977 ◽

pp. 179-200 ◽

Author(s):

Roland Fraïsse

Keyword(s):

Relation Theory

Download Full-text

Copyright page

Non-Classical Logics, Model Theory, And Computability - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70638-4 ◽

1977 ◽

pp. iv

Download Full-text

The Equivalence of Some Axioms of Strong Infinity

Non-Classical Logics, Model Theory, And Computability - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70651-7 ◽

1977 ◽

pp. 169-177

Author(s):

Luiz Paulo de Alcantara

Download Full-text

Polynomially Bounded Quantification Over Higher Types and a New Hierarchy of the Elementary Sets ()

Non-Classical Logics, Model Theory, And Computability - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70659-1 ◽

1977 ◽

pp. 267-281

Author(s):

Janos Simon

Keyword(s):

Download Full-text

Some Theorems on Omitting Types, With Applications to Model Completeness, Amalgamation, and Related Properties

Non-Classical Logics, Model Theory, And Computability - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70654-2 ◽

1977 ◽

pp. 223-238

Author(s):

Charles C. Pinter

Keyword(s):

Model Completeness ◽

Download Full-text

Part I Non Classical Logics

Non-Classical Logics, Model Theory, And Computability - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70641-4 ◽

1977 ◽

pp. 1

Download Full-text

Some Directions in Model Theory

Non-Classical Logics, Model Theory, And Computability - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70649-9 ◽

1977 ◽

pp. 117-133

Author(s):

Miroslav Benda

Keyword(s):

Download Full-text

On the Decision Problem of the Congruence Lattices of Pseudocomplemented Semilattices()

Non-Classical Logics, Model Theory, And Computability - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70658-x ◽

1977 ◽

pp. 255-266

Author(s):

H.P. Sankappanavar

Keyword(s):

Decision Problem ◽

Congruence Lattices

Download Full-text