Vijay D

188

Reputation

137 views

Registered User

Name	Vijay D
Member for	2 years
Seen	yesterday
Website
Location	Oxford University
Age

Computer Scientist dabbling with logic, lattice theory, automata and their applications to reasoning about programs.

stats recent reputation favorites

1

Questions

1

vote

3

answers

234

views

Why the preimage rather than image in Stone-type dualities.

jan 10 at 14:05 Andreas Blass 32.9k●4●54●109

10

Answers

votes newest views recent

What could be some potentially useful mathematical databases?

The concept of Duality

Is there a theorem that says that there is always more than one way to “continue a finite sequence”?

Program transformation as alternative for Hoare logic or temporal logic

What’s a magical theorem in logic?

“Duals” of Lindenbaum algebras

Transition Graph per alphabet?

Do Turing Machines generates any nontrivial lattice on the set o symbols or states?

the maximal length of a special dicksonian sequence

Algorithm to compute certain poset from a given poset.

75

Votes

75

23

Tags

10

Badges

● Scholar
● Student

● Commentator
● Nice Answer× 2

● Necromancer
● Enthusiast

● Supporter
● Editor