Groups and Model Theory
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 9)

H-INDEX

(FIVE YEARS 0)

Published By De Gruyter

9783110719710

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

5 Rigid solvable groups. Algebraic geometry and model theory

Groups and Model Theory ◽

10.1515/9783110719710-005 ◽

2021 ◽

pp. 193-230

Author(s):

Nikolay Romanovskii

Keyword(s):

Algebraic Geometry ◽

Model Theory ◽

Solvable Groups

Download Full-text

3 Quantifier elimination algorithm to boolean combination of ∃∀-formulas in the theory of a free group

Groups and Model Theory ◽

10.1515/9783110719710-003 ◽

2021 ◽

pp. 87-126

Author(s):

Olga Kharlampovich ◽

Alexei Myasnikov

Keyword(s):

Free Group ◽

Quantifier Elimination ◽

Boolean Combination ◽

Elimination Algorithm

Download Full-text

Frontmatter

Groups and Model Theory ◽

10.1515/9783110719710-fm ◽

2021 ◽

pp. I-IV

Download Full-text

2 Independence and interpretable structures in nonabelian free groups

Groups and Model Theory ◽

10.1515/9783110719710-002 ◽

2021 ◽

pp. 51-86

Author(s):

Rizos Sklinos

Keyword(s):

Free Groups

Download Full-text

Index

Groups and Model Theory ◽

10.1515/9783110719710-006 ◽

2021 ◽

pp. 231-234

Download Full-text

1 Model theory and groups

Groups and Model Theory ◽

10.1515/9783110719710-001 ◽

2021 ◽

pp. 1-50

Author(s):

Anand Pillay

Keyword(s):

Model Theory

Download Full-text

Groups and Model Theory ◽

10.1515/9783110719710-toc ◽

2021 ◽

pp. IX-X

Download Full-text

Introduction

Groups and Model Theory ◽

10.1515/9783110719710-201 ◽

2021 ◽

pp. V-VIII

Download Full-text

4 Rich groups, weak second-order logic, and applications

Groups and Model Theory ◽

10.1515/9783110719710-004 ◽

2021 ◽

pp. 127-192

Author(s):

Olga Kharlampovich ◽

Alexei Myasnikov ◽

Mahmood Sohrabi

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic

Download Full-text

Groups and Model Theory
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By De Gruyter

5 Rigid solvable groups. Algebraic geometry and model theory

3 Quantifier elimination algorithm to boolean combination of ∃∀-formulas in the theory of a free group

Frontmatter

2 Independence and interpretable structures in nonabelian free groups

Index

1 Model theory and groups

Contents

Introduction

4 Rich groups, weak second-order logic, and applications

Export Citation Format

Groups and Model TheoryLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By De Gruyter

5 Rigid solvable groups. Algebraic geometry and model theory

3 Quantifier elimination algorithm to boolean combination of ∃∀-formulas in the theory of a free group

Frontmatter

2 Independence and interpretable structures in nonabelian free groups

Index

1 Model theory and groups

Contents

Introduction

4 Rich groups, weak second-order logic, and applications

Groups and Model Theory
Latest Publications