-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path_config.yml
84 lines (76 loc) · 1.61 KB
/
_config.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
title: François G. Dorais
description: Research in Logic and Foundations of Mathematics
collections:
archives:
output: true
papers:
output: true
layout: abstract
comments:
output: false
defaults:
- scope:
path: ""
type: posts
values:
layout: post
section: news
permalink: /news/:year-:month-:day-:title.html
- scope:
path: ""
type: papers
values:
layout: abstract
section: papers
permalink: /papers/:title.html
- scope:
path: ""
type: archives
values:
section: archives
layout: post
# Topics
topic_map:
combinatorics: Combinatorics
computability: Computability Theory
independence-proofs: Forcing and Independence Proofs
games: Mathematical Games
mathematical-philosophy: Mathematical Philosophy
model-theory: Model Theory
proof-theory: Proof Theory
reverse-math: Reverse Mathematics
set-theory: Set Theory
topology: Topology
type-theory: Type Theory
# Sorting modes
sorting:
- name: date
url: /archives/date.html
- name: title
url: /archives/title.html
- name: topic
url: /archives/topic.html
# Navigation
page_nav:
- title: "Home"
section: home
url: /index.html
- title: "Papers"
section: papers
url: /papers/index.html
- title: "Posts"
section: archives
url: /archives/topic.html
- title: "News"
section: news
url: /news/index.html
- title: "About"
section: about
url: /about.html
- title: "boolesrings.org"
url: https://boolesrings.org
# Build Settings
theme: jekyll-theme-slate
markdown: kramdown
gems:
- jekyll-feed