User Hans-Peter Stricker

4 votes

1 answer

629 views

Combinatorial geodesics

asked Dec 9, 2012 at 12:50

1 vote

3 answers

628 views

Question concerning twin primes

asked Nov 19, 2018 at 17:56

5 votes

2 answers

625 views

The slope of $nx\ \%\ m$ [closed]

asked Jan 29, 2019 at 13:53

5 votes

2 answers

621 views

Can we alter the axioms of Euclidean space to have $\mathbb{Q}^3$ as a unique model?

asked Dec 9, 2010 at 9:13

3 votes

2 answers

611 views

Invertible set-theoretical formulas

asked Jun 18, 2012 at 10:13

2 votes

3 answers

598 views

Unique circular ordering of edges around a vertex

asked Jan 16, 2013 at 9:50

5 votes

3 answers

582 views

The randomness of modular squaring

asked Sep 25, 2020 at 12:51

6 votes

0 answers

577 views

Natural models of graphs?

asked Jan 13, 2010 at 10:41

4 votes

2 answers

576 views

Formulaic definitions

asked May 21, 2011 at 7:23

2 votes

4 answers

573 views

Simple adjective for "of the size of a proper class"?

asked Mar 9, 2011 at 0:32

5 votes

1 answer

571 views

Expressive power of first-order category theory

asked Feb 27, 2014 at 10:44

5 votes

2 answers

570 views

Rado graph containing infinitely many isomorphic subgraphs

asked Mar 17, 2010 at 10:26

2 votes

2 answers

564 views

Axiomatizing closeness: the reciprocal triangle inequality

asked May 4, 2012 at 1:49

1 vote

3 answers

558 views

Graph properties: definability and decidability

asked Jan 8, 2011 at 23:31

2 votes

3 answers

530 views

Generalizations of PA and its standard and non-standard models

asked Aug 18, 2011 at 19:41

1 vote

2 answers

528 views

"What does f(n) count?" - in search for a paper

asked Sep 13, 2010 at 6:28

4 votes

3 answers

515 views

Can infinite first-order categories be specified other than as categories of models?

asked Jan 18, 2010 at 9:23

5 votes

3 answers

514 views

Probing a manifold with closed curves

asked Mar 14, 2013 at 17:37

14 votes

1 answer

513 views

Contexts and notations for composing asymmetric simplices

asked Jan 15, 2015 at 19:02

2 votes

1 answer

509 views

Characterization of transitive closure graphs

asked May 5, 2011 at 12:24

7 votes

3 answers

503 views

Proto-Euclidean algorithm

asked May 3, 2012 at 11:05

4 votes

1 answer

492 views

Generalized graph products in view of vertex-transitive graphs

asked Jul 10, 2012 at 23:50

5 votes

2 answers

485 views

Mathematical analysis of Lewisian concepts, esp. natural properties

asked Apr 23, 2012 at 21:13

1 vote

0 answers

483 views

Connection between Fourier analysis and Galois theory

asked Jan 28, 2019 at 16:29

3 votes

2 answers

480 views

Graph properties, categorically defined

asked Aug 26, 2010 at 8:16

5 votes

2 answers

470 views

Another graph characteristic

asked Jun 29, 2017 at 9:45

5 votes

3 answers

470 views

Counting without one-to-one correspondence? [closed]

asked Aug 20, 2018 at 14:30

1 vote

2 answers

467 views

Rationale behind an requirement on Turing machines

asked Aug 26, 2014 at 17:27

2 votes

2 answers

464 views

Questions concerning the Fourier analysis of $ nx\ \%\ m$

asked Jan 25, 2019 at 12:59

2 votes

1 answer

463 views

Name of vertices in the same orbit

asked May 9, 2012 at 10:49

Stack Exchange Network

202 Questions

Combinatorial geodesics

Question concerning twin primes

The slope of $nx\ \%\ m$ [closed]

Can we alter the axioms of Euclidean space to have $\mathbb{Q}^3$ as a unique model?

Invertible set-theoretical formulas

Unique circular ordering of edges around a vertex

The randomness of modular squaring

Natural models of graphs?

Formulaic definitions

Simple adjective for "of the size of a proper class"?

Expressive power of first-order category theory

Rado graph containing infinitely many isomorphic subgraphs

Axiomatizing closeness: the reciprocal triangle inequality

Graph properties: definability and decidability

Generalizations of PA and its standard and non-standard models

"What does f(n) count?" - in search for a paper

Can infinite first-order categories be specified other than as categories of models?

Probing a manifold with closed curves

Contexts and notations for composing asymmetric simplices

Characterization of transitive closure graphs

Proto-Euclidean algorithm

Generalized graph products in view of vertex-transitive graphs

Mathematical analysis of Lewisian concepts, esp. natural properties

Connection between Fourier analysis and Galois theory

Graph properties, categorically defined

Another graph characteristic

Counting without one-to-one correspondence? [closed]

Rationale behind an requirement on Turing machines

Questions concerning the Fourier analysis of $ nx\ \%\ m$

Name of vertices in the same orbit