user avatar
user avatar
user avatar
Graffitics
  • Member for 6 years, 7 months
  • Last seen more than 5 years ago
  • A riemannian space
11 votes

Serendipitous mathematical discoveries in recent times

7 votes

Why might Dieudonne have been "begging the question" by appealing to second-order Peano Axioms?

4 votes
Accepted

Informal proof of Gödel's second incompleteness theorem

4 votes

What is the optimal strategy when driving to my university: Wait or take alternative route and (possibly) wait?

4 votes

Limits of finite structures - first order logic

4 votes
Accepted

Proving that a random graph is almost surely connected

3 votes
Accepted

How is "$A$ generalizes $B$" formally defined?

3 votes

Intuitionistic logic unit type as truth

3 votes

Show With High Probability, No Vertex Belongs to More than One Triangle

3 votes

Does a finite first-order theory which has a model always have a finite model?

2 votes
Accepted

Prove that there doesn't exist a statement in first order logic which is valid iff G is a 3-sparse graph

2 votes
Accepted

Probability $u, v$ are connected in a random graph model

2 votes

Is it possible to construct the Rado Graph as a countably infinite graph with non-constant edge probabilities?

2 votes

Complete theory with a infinite model has only infinite models

2 votes
Accepted

Alternatives to pure quantifier logic

2 votes
Accepted

How are halting oracles related to set theory?

2 votes
Accepted

Random Geometric Graph in unit disk

2 votes
Accepted

Dual of a Hypergraph

2 votes

Does the fact that a modal operator distributive over disjunction imply that a modal operator is distributive over conjunction?

2 votes
Accepted

Line Graph of Multigraph

1 vote
Accepted

Inverse of Line Graph?

1 vote

Minimal model of ZFC without power set axiom

1 vote

Undefinability of evenness in first order logic

1 vote

Does the binomial random graph model $G(n, (\ln n)/n^2)$ obey zero-one law?

1 vote
Accepted

Expected Diameter of an Undirected Graph Given the Number of Nodes and Edges

1 vote
Accepted

HPC: Prove that $\vdash A\to \lnot\lnot A$

1 vote

The family of regular languages

1 vote

A first order language for graphs

1 vote

What is the method to solve these kind of questions?

1 vote
Accepted

Sparse sequence of random graphs