Question

Is higher order type theory the same as higher order logic?

score 2.1k · Answer 1 · 2013-06-02 17:22:28

2.1k

Views

Is higher order type theory the same as higher order logic?

Published on 02 Jun 2013 - 17:22

score 1.3k · Answer 2 · 2013-06-14 16:05:52

1.3k

Views

Henkin vs. "Full" Semantics for Second-order Logic and Multi-Sorted First Order Interpretations

Published on 14 Jun 2013 - 16:05

score 1.5k · Answer 3 · 2013-07-07 06:41:02

1.5k

Views

Do isomorphic structures always satisfy the same second-order sentences?

Published on 07 Jul 2013 - 6:41

score 628 · Answer 4 · 2013-07-07 07:51:08

628

Views

what are first and second order logics?

Published on 07 Jul 2013 - 7:51

score 3.9k · Answer 5 · 2013-08-27 18:13:18

3.9k

Views

Relationship between propositional logic, first-order logic, second-order logic higher-order logic, and type theory

Published on 27 Aug 2013 - 18:13

score 763 · Answer 6 · 2013-10-01 17:50:47

763

Views

How can one quantify on a function in ZFC?

Published on 01 Oct 2013 - 17:50

score 2.1k · Answer 7 · 2013-12-24 06:43:25

2.1k

Views

Peano arithmetic with the second-order induction axiom

Published on 24 Dec 2013 - 6:43

score 479 · Answer 8 · 2013-12-26 21:36:47

479

Views

Can equinumerosity by defined in monadic second-order logic?

Published on 26 Dec 2013 - 21:36

score 203 · Answer 9 · 2013-12-31 02:52:06

203

Views

What is $M_x$ in Frege's Basic Law IIb?

Published on 31 Dec 2013 - 2:52

score 210 · Answer 10 · 2026-03-25 17:20:04

210

Views

What is the proof-theoretic strength of the predicative second-order theory of real numbers?

Published on 25 Mar 2026 - 17:20

score 1.2k · Answer 11 · 2014-01-01 16:20:05

1.2k

Views

Who first proved that the second-order theory of real numbers is categorical?

Published on 01 Jan 2014 - 16:20

score 168 · Answer 12 · 2026-03-25 15:41:19

168

Views

What subsystem of second-order arithmetic can interpret the theory of real closed fields?

Published on 25 Mar 2026 - 15:41

score 350 · Answer 13 · 2014-01-17 16:08:18

350

Views

What is the intuition behind $\Delta_1^0$ sets and $\Delta_1^1$ sets?

Published on 17 Jan 2014 - 16:08

score 766 · Answer 14 · 2014-01-22 14:44:05

766

Views

Any "natural" examples of true statements in number theory not provable in 2nd order systems?

Published on 22 Jan 2014 - 14:44

score 430 · Answer 15 · 2014-02-20 04:23:51

430

Views

Why is better to work with first-order logic than with second-order logic?

Published on 20 Feb 2014 - 4:23

List Question

Is higher order type theory the same as higher order logic?

Henkin vs. "Full" Semantics for Second-order Logic and Multi-Sorted First Order Interpretations

Do isomorphic structures always satisfy the same second-order sentences?

what are first and second order logics?

Relationship between propositional logic, first-order logic, second-order logic higher-order logic, and type theory

How can one quantify on a function in ZFC?

Peano arithmetic with the second-order induction axiom

Can equinumerosity by defined in monadic second-order logic?

What is $M_x$ in Frege's Basic Law IIb?

What is the proof-theoretic strength of the predicative second-order theory of real numbers?

Who first proved that the second-order theory of real numbers is categorical?

What subsystem of second-order arithmetic can interpret the theory of real closed fields?

What is the intuition behind $\Delta_1^0$ sets and $\Delta_1^1$ sets?

Any "natural" examples of true statements in number theory not provable in 2nd order systems?

Why is better to work with first-order logic than with second-order logic?

Trending Questions

Popular # Hahtags

Popular Questions