List of The Mortal Instruments characters

This is a list of the main characters from The Mortal Instruments series by Cassandra Clare, including the novels City of Bones, City of Ashes, City of Glass, City of Fallen Angels, City of Lost Souls , and City of Heavenly Fire

Main characters

Clary Fray

Clarissa "Clary" Fray/Fairchild/Morgenstern is a fictional character and the main protagonist of the Mortal Instruments series. While at a New York City nightclub, the Pandemonium, she is stunned to observe a group of teenagers with apparent supernatural abilities: Jace, Isabelle, and Alec. She sees them attack a demon and soon realizes she is the only person able to see them.

After the battle, she is introduced to the group of teens, who identify themselves as Shadowhunters, a race of humans who are physically enhanced with angel blood, who secretly protect humanity from demons. When her mother Jocelyn goes missing, Clary soon learns the event is connected to the conflict between the Shadowhunters and their enemies. She then enters the Shadowhunter fold, using her newly revealed mystical abilities to assist the group while attempting to find her mother. In the process, she falls in love with fellow Shadowhunter Jace Herondale.

Isabelle

Isabelle is a French feminine given name. It may refer to :

Isabelle (proof assistant)

The Isabelle theorem prover is an interactive theorem prover, a Higher Order Logic (HOL) theorem prover. It is an LCF-style theorem prover (written in Standard ML), so it is based on a small logical core to ease logical correctness. Isabelle is generic: it provides a meta-logic (a weak type theory), which is used to encode object logics like First-order logic (FOL), Higher-order logic (HOL) or Zermelo–Fraenkel set theory (ZFC). Isabelle's main proof method is a higher-order version of resolution, based on higher-order unification. Though interactive, Isabelle also features efficient automatic reasoning tools, such as a term rewriting engine and a tableaux prover, as well as various decision procedures. Isabelle has been used to formalize numerous theorems from mathematics and computer science, like Gödel's completeness theorem, Gödel's theorem about the consistency of the axiom of choice, the prime number theorem, correctness of security protocols, and properties of programming language semantics. The Isabelle theorem prover is free software, released under the revised BSD license.

Isabelle (disambiguation)

Isabelle may refer to:

Surname

Places

Other

See also

Lightwood

Lightwood is a suburb of Stoke-On-Trent, Staffordshire. It is located to the south of Longton, and Lightwood Road runs from here to Rough Close.

The area gives its name to The Lightwood Hoard, a substantial collection of Roman coins discovered buried in the garden of a house on Lightwood Road in 1960.

Though containing mostly private housing, the area also boasts a pub and a golf driving range, as well as a Methodist chapel constructed in 1816 and now a Grade 2 listed building.

References

Coordinates: 52°58′12″N 2°06′54″W / 52.970°N 2.115°W / 52.970; -2.115