Question

Differential fields and rings

score 83 · Answer 1 · 2026-03-26 07:55:02

83

Views

Differential fields and rings

Published on 26 Mar 2026 - 7:55

score 166 · Answer 2 · 2011-11-14 12:13:11

166

Views

Introductory text about different stratification methods in higher-order logic and set theory

Published on 14 Nov 2011 - 12:13

score 192 · Answer 3 · 2012-02-24 18:17:10

192

Views

Are $\{X \in 2^{A}:|X|=2\}$, $\{X \subset 2^{A}:|X|=2\}$, $\{X \subset A:|X|=2\}$ first order or second order?

Published on 24 Feb 2012 - 18:17

score 640 · Answer 4 · 2012-03-23 10:40:44

640

Views

Independence results in first-order PA and second-order PA

Published on 23 Mar 2012 - 10:40

score 376 · Answer 5 · 2012-04-29 09:56:02

376

Views

Formal second-order statements of Archimedean and completeness properties

Published on 29 Apr 2012 - 9:56

score 1.6k · Answer 6 · 2012-05-06 13:43:15

1.6k

Views

First-order logic advantage over second-order logic

Published on 06 May 2012 - 13:43

score 590 · Answer 7 · 2012-05-07 00:50:12

590

Views

What makes higher/second-order logic incompatible with completeness theorem?

Published on 07 May 2012 - 0:50

score 2.4k · Answer 8 · 2012-05-10 10:59:12

2.4k

Views

advantage of first-order logic over second-order logic

Published on 10 May 2012 - 10:59

score 1.5k · Answer 9 · 2012-05-12 03:16:33

1.5k

Views

Second-order logic - monadic version and Henkin semantics

Published on 12 May 2012 - 3:16

score 3.7k · Answer 10 · 2012-07-28 19:32:40

3.7k

Views

Is First Order Logic (FOL) the only fundamental logic?

Published on 28 Jul 2012 - 19:32

score 962 · Answer 11 · 2012-07-29 20:08:29

962

Views

How are the full semantics of SOL and HOL specified?

Published on 29 Jul 2012 - 20:08

score 454 · Answer 12 · 2012-09-18 10:44:41

454

Views

Can decidability results for monadic second-order logic be extended to monadic higher-order logics?

Published on 18 Sep 2012 - 10:44

score 3.4k · Answer 13 · 2012-09-27 06:15:14

3.4k

Views

are there non-standard models of arithmetic in second order arithmetic?

Published on 27 Sep 2012 - 6:15

score 326 · Answer 14 · 2012-11-13 00:10:22

326

Views

Is every φ above the second level of the arithmetical hierarchy independent of PA?

Published on 13 Nov 2012 - 0:10

score 1.2k · Answer 15 · 2012-11-26 18:27:52

1.2k

Views

Is there any generalization of the hyperarithmetical hierarchy using the analytical hierarchy to formulas belonging to third-order logic and above?

Published on 26 Nov 2012 - 18:27

List Question

Differential fields and rings

Introductory text about different stratification methods in higher-order logic and set theory

Are $\{X \in 2^{A}:|X|=2\}$, $\{X \subset 2^{A}:|X|=2\}$, $\{X \subset A:|X|=2\}$ first order or second order?

Independence results in first-order PA and second-order PA

Formal second-order statements of Archimedean and completeness properties

First-order logic advantage over second-order logic

What makes higher/second-order logic incompatible with completeness theorem?

advantage of first-order logic over second-order logic

Second-order logic - monadic version and Henkin semantics

Is First Order Logic (FOL) the only fundamental logic?

How are the full semantics of SOL and HOL specified?

Can decidability results for monadic second-order logic be extended to monadic higher-order logics?

are there non-standard models of arithmetic in second order arithmetic?

Is every φ above the second level of the arithmetical hierarchy independent of PA?

Is there any generalization of the hyperarithmetical hierarchy using the analytical hierarchy to formulas belonging to third-order logic and above?

Trending Questions

Popular # Hahtags

Popular Questions