ButtonLT1 is out

Author: rzach

bib/open-logic.bib

@@ -40,16 +40,19 @@ @article{bailey2006
 }
 
 @Article{ButtonLT1,
-	Author = {Button, Tim},
-Journal = {Bulletin of Symbolic Logic},
-Year = {forthcoming},
-Title = {Level Theory, part 1: Axiomatizing the bare idea of a cumulative hierarchy of sets},
+  Author = {Button, Tim},
+  Journal = {The Bulletin of Symbolic Logic},
+  Year = {2021},
+  Title = {Level Theory, Part~1: Axiomatizing the Bare Idea of a Cumulative Hierarchy of Sets},
+  volume = {27},
+  number = {4},
+  pages = {436-460}
 }
 
 @Article{Church1936,
   author =	 {Alonzo Church},
   title =	 {A note on the {E}ntscheidungsproblem},
-  journal =	 {Journal of Symbolic Logic},
+  journal =	 {The Journal of Symbolic Logic},
   year =	 1936,
   volume =	 1,
   pages =	 {40--41}
@@ -358,17 +361,17 @@ @misc{MacFarlane2015
 
 @Article{Maddy1988a,
 	Author = {Penelope Maddy},
-	Title = {Believing the Axioms {I}},
-	Journal = {Journal of Symbolic Logic},
+	Title = {Believing the Axioms~{I}},
+	Journal = {The Journal of Symbolic Logic},
 	Year = {1988},
 	Volume = {53},
 	Number = {2},
 	Pages = {481--511}}
 
 @Article{Maddy1988b,
 	Author = {Penelope Maddy},
-	Title = {Believing the Axioms {II}},
-	Journal = {Journal of Symbolic Logic},
+	Title = {Believing the Axioms~{II}},
+	Journal = {The Journal of Symbolic Logic},
 	Year = {1988},
 	Volume = {53},
 	Number = {3},
@@ -531,7 +534,7 @@ @Book{Reid1996
 @article{Robinson1949,
   URL =		 {http://www.jstor.org/stable/2266510},
   author =	 {Julia Robinson},
-  journal =	 {Journal of Symbolic Logic},
+  journal =	 {The Journal of Symbolic Logic},
   number =	 {2},
   pages =	 {98-114},
   title =	 {Definability and Decision Problems in Arithmetic},