Faculty

Institution

Unit

Venue

Olga Kharlampovich

CUNY--Hunter College

Affiliations

CUNY--Hunter College

NoneOlga Kharlampovich is currently serving as a Cuny--Hunter College faculty at Cuny--Hunter College.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Olga Kharlampovich

CUNY--Hunter College

You can click a keyword to filter the displayed items

group theory mathematics applied mathematics algebra mathematical sciences free groups geometric topology abstract algebra logic in computer science coxeter group hyperbolic groups linguistics graph theory algebraic geometry geometry and topology operator algebras combinatorial theory algebraic logic lie algebra elementary theory free group computer science formal methods analytic number theory modern algebra model theory non-commutative algebras lie theory frattini subgroup nilpotent groups group structure quasi-convex subgroups torsion-free hyperbolic group algorithmic problems effective jsj decompositions cryptography discrete algorithms automated deduction numerical algorithms function spaces mathematics education general systems automated reasoning applied algebra applied logic ordered group topological invariants global geometry diophantine analysis metabelian group computer algebra commutative algebra quantum algebra universal algebra knot theory time complexity computational complexity theory equivalence checking computability theory group representation algebraic analysis mathematical modelling convergence analysis free non-abelian groups irreducible affine varieties free constructions implicit function theorem positive solution isomorphism problem stallings graphs generic points

Notable Scholarly Works

Notable Federal Grants

Collaborators

First-Order Sentences in Random Groups II: $\Forall\Exists$-Sentences. Groups Geometry and Dynamics (2025)

semanticsmodel theorylogic in computer sciencesyntactic structuresyntaxgrammarfirst-order logicrandom groups iilanguagemathematical logic

Groups Elementarily Equivalent to a Finitely Generated Free Metabelian Group. Groups Geometry and Dynamics (2025)

coxeter groupfrattini subgroupnilpotent groupsfree metabelian groupgroup theorygeometric group theorygroup structure

First-Order Sentences in Random Groups I: Universal Sentences. Journal für die reine und angewandte Mathematik (Crelles Journal) (2024)

Olga KharlampovichRizos Sklinos

first-order sentencesnatural language processinglinguisticsuniversal sentences

On Countable Elementary Free Groups. De Gruyter eBooks (2024)

Olga KharlampovichChristopher Natoli

analytic number theorymathematicsgroup theory

Quantifying Separability in Limit Groups via Representations. Selecta Mathematica (2024)

Keino BrownOlga Kharlampovich

limit groupsrepresentation theoryapplied mathematics

3 Quantifier Elimination Algorithm to Boolean Combination of ∃∀-Formulas in the Theory of a Free Group. De Gruyter eBooks (2021)

Olga KharlampovichAlexei Myasnikov

quantifier elimination algorithmfree groupgroup theoryapplied mathematics

First-Order Sentences in Random Groups. arXiv (Cornell University) (2021)

O. KharlampovichR. Sklinos

first-order sentencesrandom groupslinguistics

Groups and Model Theory. De Gruyter eBooks (2021)

Olga KharlampovichRizos Sklinos

model theorymathematicsgroup theory

Rich Groups, Weak Second Order Logic, and Applications. arXiv (Cornell University) (2021)

rich groupshigher-order logiclogic in computer scienceset theorygeneral systemsautomated reasoningmathematical logicmathematicspure mathematics

Non-$\Forall$-Homogeneity in Free Groups. arXiv (Cornell University) (2020)

Olga KharlampovichChristopher Natoli

free groupsgroup theory

1
2
3
4
5
6
7
10 / page

Olga Kharlampovich

CUNY--Hunter College

Affiliations

CUNY--Hunter College

NoneOlga Kharlampovich is currently serving as a Cuny--Hunter College faculty at Cuny--Hunter College.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Olga Kharlampovich

CUNY--Hunter College

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

First-Order Sentences in Random Groups II: $\Forall\Exists$-Sentences. Groups Geometry and Dynamics (2025)

semanticsmodel theorylogic in computer sciencesyntactic structuresyntaxgrammarfirst-order logicrandom groups iilanguagemathematical logic

Groups Elementarily Equivalent to a Finitely Generated Free Metabelian Group. Groups Geometry and Dynamics (2025)

coxeter groupfrattini subgroupnilpotent groupsfree metabelian groupgroup theorygeometric group theorygroup structure

First-Order Sentences in Random Groups I: Universal Sentences. Journal für die reine und angewandte Mathematik (Crelles Journal) (2024)

Olga KharlampovichRizos Sklinos

first-order sentencesnatural language processinglinguisticsuniversal sentences

On Countable Elementary Free Groups. De Gruyter eBooks (2024)

Olga KharlampovichChristopher Natoli

analytic number theorymathematicsgroup theory

Quantifying Separability in Limit Groups via Representations. Selecta Mathematica (2024)

Keino BrownOlga Kharlampovich

limit groupsrepresentation theoryapplied mathematics

3 Quantifier Elimination Algorithm to Boolean Combination of ∃∀-Formulas in the Theory of a Free Group. De Gruyter eBooks (2021)

Olga KharlampovichAlexei Myasnikov

quantifier elimination algorithmfree groupgroup theoryapplied mathematics

First-Order Sentences in Random Groups. arXiv (Cornell University) (2021)

O. KharlampovichR. Sklinos

first-order sentencesrandom groupslinguistics

Groups and Model Theory. De Gruyter eBooks (2021)

Olga KharlampovichRizos Sklinos

model theorymathematicsgroup theory

Rich Groups, Weak Second Order Logic, and Applications. arXiv (Cornell University) (2021)

rich groupshigher-order logiclogic in computer scienceset theorygeneral systemsautomated reasoningmathematical logicmathematicspure mathematics

Non-$\Forall$-Homogeneity in Free Groups. arXiv (Cornell University) (2020)

Olga KharlampovichChristopher Natoli

free groupsgroup theory

1
2
3
4
5
6
7
10 / page