A Formalization of Set Theory without Variables - Colloquium Publications
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By American Mathematical Society

9780821810415, 9781470431877

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Some improvements of the equipollence results

A Formalization of Set Theory without Variables - Colloquium Publications ◽

10.1090/coll/041/05 ◽

1987 ◽

pp. 147-168

Applications to relation algebras and to varieties of algebras

A Formalization of Set Theory without Variables - Colloquium Publications ◽

10.1090/coll/041/08 ◽

1987 ◽

pp. 231-272

Keyword(s):

Relation Algebras

Extension of results to arbitrary formalisms of predicate logic, and applications to the formalization of the arithmetics of natural and real numbers

A Formalization of Set Theory without Variables - Colloquium Publications ◽

10.1090/coll/041/07 ◽

1987 ◽

pp. 191-230

Keyword(s):

Predicate Logic ◽

Real Numbers

Implications of the main results for semantic and axiomatic foundations of set theory

A Formalization of Set Theory without Variables - Colloquium Publications ◽

10.1090/coll/041/06 ◽

1987 ◽

pp. 169-190

Keyword(s):

Set Theory

The formalism ℒof predicate logic

A Formalization of Set Theory without Variables - Colloquium Publications ◽

10.1090/coll/041/01 ◽

1987 ◽

pp. 1-22

Keyword(s):

Predicate Logic

The formalism ℒ⁺ without variables and the problem of its equipollence with ℒ

A Formalization of Set Theory without Variables - Colloquium Publications ◽

10.1090/coll/041/03 ◽

1987 ◽

pp. 45-94

The relative equipollence of ℒ and ℒ⁺, and the formalization of set theory in ℒ^{×}

A Formalization of Set Theory without Variables - Colloquium Publications ◽

10.1090/coll/041/04 ◽

1987 ◽

pp. 95-146

Keyword(s):

Set Theory

The formalism ℒ⁺, a definitional extension of ℒ

A Formalization of Set Theory without Variables - Colloquium Publications ◽

10.1090/coll/041/02 ◽

1987 ◽

pp. 23-44

Keyword(s):

Definitional Extension

A Formalization of Set Theory without Variables - Colloquium PublicationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By American Mathematical Society

Some improvements of the equipollence results

Applications to relation algebras and to varieties of algebras

Extension of results to arbitrary formalisms of predicate logic, and applications to the formalization of the arithmetics of natural and real numbers

Implications of the main results for semantic and axiomatic foundations of set theory

The formalism ℒof predicate logic

The formalism ℒ⁺ without variables and the problem of its equipollence with ℒ

The relative equipollence of ℒ and ℒ⁺, and the formalization of set theory in ℒ^{×}

The formalism ℒ⁺, a definitional extension of ℒ

A Formalization of Set Theory without Variables - Colloquium Publications
Latest Publications