Question

Can Bernays reflection scheme be formalized in mono-sorted FOL?

score 45 · Answer 1 · 2026-03-27 22:03:08

45

Views

Can Bernays reflection scheme be formalized in mono-sorted FOL?

Published on 27 Mar 2026 - 22:03

score 64 · Answer 2 · 2021-12-16 20:43:51

64

Views

Can transitive replacement prove axiom of replacement?

Published on 16 Dec 2021 - 20:43

score 53 · Answer 3 · 2021-12-18 09:09:15

53

Views

Minimal amount of laws to deduce the rest of First Order Logic?

Published on 18 Dec 2021 - 9:09

score 527 · Answer 4 · 2021-12-19 16:23:45

527

Views

Can a function be considered odd or even if has a discontinuity?

Published on 19 Dec 2021 - 16:23

score 353 · Answer 5 · 2021-12-20 10:39:20

353

Views

Axioms of Combinatorics

Published on 20 Dec 2021 - 10:39

score 65 · Answer 6 · 2021-12-21 06:01:06

65

Views

Potential misunderstanding in reading Set Theory by Hrbacek

Published on 21 Dec 2021 - 6:01

score 624 · Answer 7 · 2021-12-26 13:04:49

624

Views

In simple words: What does Woodin's $(*)$ axiom and Martin's maximum state?

Published on 26 Dec 2021 - 13:04

score 71 · Answer 8 · 2021-12-31 14:35:04

71

Views

Is there other function $f$ such that $f(x, y) + f(y, z) \geq 2f(x,z)$? What is it name?

Published on 31 Dec 2021 - 14:35

score 145 · Answer 9 · 2021-12-31 21:56:13

145

Views

How do model theorists define structures?

Published on 31 Dec 2021 - 21:56

score 81 · Answer 10 · 2022-01-02 05:20:13

81

Views

In the book by Apostol "calculus volume 1" how to prove that sum of two integers is an integer?

Published on 02 Jan 2022 - 5:20

score 87 · Answer 11 · 2026-03-29 20:55:39

87

Views

Interesting examples of first-order, one-sorted proper extensions of PA

Published on 29 Mar 2026 - 20:55

score 371 · Answer 12 · 2022-01-10 19:50:38

371

Views

If the axiom of replacement implies the axiom of specification, why are both mentioned

Published on 10 Jan 2022 - 19:50

score 51 · Answer 13 · 2022-01-11 06:38:49

51

Views

Rule enforcing consistency of a logical set

Published on 11 Jan 2022 - 6:38

score 121 · Answer 14 · 2022-01-11 07:37:07

121

Views

Is the Axiom of choice intuitive? How was it first introduced?

Published on 11 Jan 2022 - 7:37

score 114 · Answer 15 · 2022-01-12 02:25:14

114

Views

Axioms for a Neighborhoods Motivation

Published on 12 Jan 2022 - 2:25

List Question

Can Bernays reflection scheme be formalized in mono-sorted FOL?

Can transitive replacement prove axiom of replacement?

Minimal amount of laws to deduce the rest of First Order Logic?

Can a function be considered odd or even if has a discontinuity?

Axioms of Combinatorics

Potential misunderstanding in reading Set Theory by Hrbacek

In simple words: What does Woodin's $(*)$ axiom and Martin's maximum state?

Is there other function $f$ such that $f(x, y) + f(y, z) \geq 2f(x,z)$? What is it name?

How do model theorists define structures?

In the book by Apostol "calculus volume 1" how to prove that sum of two integers is an integer?

Interesting examples of first-order, one-sorted proper extensions of PA

If the axiom of replacement implies the axiom of specification, why are both mentioned

Rule enforcing consistency of a logical set

Is the Axiom of choice intuitive? How was it first introduced?

Axioms for a Neighborhoods Motivation

Trending Questions

Popular # Hahtags

Popular Questions