User Noah Schweber

1 vote

A question about first order theories having only finite models

answered Mar 12, 2014 at 8:12

1 vote

Order-independent properties arising naturally in mathematics

answered May 30, 2013 at 21:44

1 vote

Embedding of consistent subset in first order logic (finitely many variables)

answered Aug 23, 2013 at 0:59

1 vote

Can we force with Fraisse filters to solve Vaught's conjecture?

answered Oct 6, 2013 at 23:18

1 vote

Axiom of Choice and Vitali's theorem

answered May 18, 2012 at 17:52

1 vote

Linking associative algebras with nonassociative algebras

answered Nov 30, 2011 at 0:51

1 vote

undergraduate logic textbook

answered Sep 16, 2012 at 23:12

1 vote

which texts do you recommend to study mathematical logic ?

answered Dec 21, 2012 at 1:46

1 vote

A question about the Axiom of Choice and straight lines in the Euclidean plane.

answered Nov 22, 2012 at 21:02

1 vote

Countable open subgroup

answered Apr 11, 2013 at 2:54

1 vote

Accepted

Reference request: a version of $\Sigma^1_1$ bounding for structures

answered May 21, 2017 at 2:01

1 vote

Accepted

existence of continuous functions with values in the fiber of a closed bundle

answered Aug 31, 2016 at 17:55

1 vote

Solovay-random pairs of reals

answered Aug 23, 2016 at 20:03

1 vote

Accepted

Size of smallest set in critical covering of $\omega$

answered Jul 6, 2016 at 19:13

1 vote

Accepted

Ordinal of injectivity for a smooth regular curve with a finite arc-length

answered Mar 6, 2016 at 2:53

1 vote

Accepted

Theories of arithmetic from recursively inseparable sets

answered Mar 6, 2016 at 8:09

1 vote

Accepted

Deterministic Finite Automata question

answered Dec 29, 2015 at 0:38

1 vote

a variant of the Kleene tree

answered Jan 21, 2016 at 19:13

1 vote

Accepted

Forcing the existence of a weakly inaccessible cardinal in some strong set theory

answered May 14, 2018 at 18:46

1 vote

Accepted

Set systems with "small" intersections

answered Aug 9, 2017 at 2:37

1 vote

Accepted

Computability Theory Notation For Entering A Set At A Stage

answered Jul 27, 2019 at 22:16

0 votes

Accepted

Spreading sets - especially without choice

answered Jul 10, 2016 at 22:03

0 votes

Graph with small automorphism and large isomorphism

answered Aug 13, 2016 at 23:58

0 votes

Is there any proof assistant based on first-order logic?

answered Jan 14, 2017 at 18:16

0 votes

Zero-dimensional space

answered Nov 24, 2012 at 1:06

0 votes

Accepted

$\Pi^0_1$ sentences modulo "schematic entailment"

answered May 5 at 3:04

0 votes

When does an "$\mathbb{R}$-generated" space have a short description?

answered Apr 25, 2021 at 17:35

0 votes

Accepted

Detecting comprehension topologically

answered Feb 29, 2020 at 17:54

Stack Exchange Network

478 Answers

A question about first order theories having only finite models

Order-independent properties arising naturally in mathematics

Embedding of consistent subset in first order logic (finitely many variables)

Can we force with Fraisse filters to solve Vaught's conjecture?

Axiom of Choice and Vitali's theorem

Linking associative algebras with nonassociative algebras

undergraduate logic textbook

which texts do you recommend to study mathematical logic ?

A question about the Axiom of Choice and straight lines in the Euclidean plane.

Countable open subgroup

Reference request: a version of $\Sigma^1_1$ bounding for structures

existence of continuous functions with values in the fiber of a closed bundle

Solovay-random pairs of reals

Size of smallest set in critical covering of $\omega$

Ordinal of injectivity for a smooth regular curve with a finite arc-length

Theories of arithmetic from recursively inseparable sets

Deterministic Finite Automata question

a variant of the Kleene tree

Forcing the existence of a weakly inaccessible cardinal in some strong set theory

Set systems with "small" intersections

Computability Theory Notation For Entering A Set At A Stage

Spreading sets - especially without choice

Graph with small automorphism and large isomorphism

Is there any proof assistant based on first-order logic?

Zero-dimensional space

$\Pi^0_1$ sentences modulo "schematic entailment"

When does an "$\mathbb{R}$-generated" space have a short description?

Detecting comprehension topologically