Logiweb dictionary of peano

Up Help

0 0 peano
1 0 ˙0
2 0 ˙1
3 0 ˙2
4 0 ȧ
5 0 ḃ
6 0 ċ
7 0 ḋ
8 0 ė
9 0 ḟ
10 0 ġ
11 0 ḣ
12 0 i̇
13 0 j̇
14 0 k̇
15 0 l̇
16 0 ṁ
17 0 ṅ
18 0 ȯ
19 0 ṗ
20 0 q̇
21 0 ṙ
22 0 ṡ
23 0 ṫ
24 0 u̇
25 0 v̇
26 0 ẇ
27 0 ẋ
28 0 ẏ

29 0 ż

30 2 ṅonfree(∗, ∗) 31 2 ṅonfree^{∗}(∗, ∗) 32 3 ḟree⟨∗|∗ := ∗⟩ 33 3 ḟree^{∗}⟨∗|∗ := ∗⟩ 34 4 ∗≡⟨∗|∗ := ∗⟩ 35 4 ∗≡⟨^{∗}∗|∗ := ∗⟩ 36 0 S 37 0 A1 38 0 A2 39 0 A3 40 0 A4 41 0 A5 42 0 S1 43 0 S2 44 0 S3 45 0 S4 46 0 S5 47 0 S6 48 0 S7 49 0 S8 50 0 S9 51 0 MP 52 0 Gen 53 0 L3.2(a) 54 0 S′ 55 0 A1′ 56 0 A2′ 57 0 A3′ 58 0 A4′ 59 0 A5′ 60 0 S1′ 61 0 S2′ 62 0 S3′ 63 0 S4′ 64 0 S5′ 65 0 S6′ 66 0 S7′ 67 0 S8′ 68 0 S9′ 69 0 MP′ 70 0 Gen′ 71 0 L3.2(a)′ 72 0 M1.7 73 0 MP′_{h} 74 0 Hypothesize 75 0 Gen′_{h} 76 0 M3.2(a) 77 0 M3.2(a)_{h} 78 0 M3.2(b)_{h} 79 0 M3.1(S1′)_{h} 80 0 M3.2(c)_{h} 81 0 M3.1(S2′)_{h} 82 0 M3.1(S5′)_{h} 83 0 M3.1(S6′)_{h} 84 0 M3.2(f)

85 1 ˙∗

86 1 ∗′ 87 2 ∗ ˙· ∗ 88 2 ∗ ˙+ ∗

89 2 ∗ =^{p} ∗

90 1 ∗^{P}

91 1 ˙¬ ∗

92 2 ∗ ˙∧ ∗ 93 2 ∗ ˙∨ ∗ 94 2 ˙∀∗: ∗ 95 2 ˙∃∗: ∗ 96 2 ∗ ˙⇒ ∗ 97 2 ∗ ˙⇔ ∗ 98 2 ∗ ⊵ ∗ 99 2 ∗ ⊵_{h} ∗

The pyk compiler, version 0.grue.20050603 by Klaus Grue GRD-2005-06-22.UTC:11:16:56.809226 = MJD-53543.TAI:11:17:28.809226 = LGT-4626155848809226e-6