Journal: Mathematical logic quarterly - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Journal Mathematical logic quarterly

1. A class of higher inductive types in Zermelo‐Fraenkel set theory. Issue 1 (21st January 2022)

Authors:: Swan, Andrew W.
Journal:: Mathematical logic quarterly
Issue:: Volume 68:Issue 1(2022)
Page Start:: 118
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. A consistency proof for some restrictions of Tait's reflection principles. Issue 1 (6th February 2013)

Authors:: McCallum, Rupert
Journal:: Mathematical logic quarterly
Issue:: Volume 59:Issue 1/2(2013)
Page Start:: 112
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. A construction of real closed fields. Issue 3 (15th May 2015)

Authors:: Tanaka, Yu‐ichi; Tsuboi, Akito
Journal:: Mathematical logic quarterly
Issue:: Volume 61:Issue 3(2015)
Page Start:: 159
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. A cumulative hierarchy of sets for constructive set theory. Issue 1 (3rd February 2014)

Authors:: Ziegler, Albert
Journal:: Mathematical logic quarterly
Issue:: Volume 60:Issue 1/2(2014)
Page Start:: 21
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. A decidable paraconsistent relevant logic: Gentzen system and Routley‐Meyer semantics. Issue 3 (2nd May 2016)

Authors:: Kamide, Norihiro
Journal:: Mathematical logic quarterly
Issue:: Volume 62:Issue 3(2016)
Page Start:: 177
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. A definable Henselian valuation with high quantifier complexity. Issue 4 (19th August 2015)

Authors:: Halupczok, Immanuel; Jahnke, Franziska
Journal:: Mathematical logic quarterly
Issue:: Volume 61:Issue 4/5(2015)
Page Start:: 362
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

7. A direct proof of the five element basis theorem. Issue 3 (27th October 2017)

Authors:: Veličković, Boban; Venturi, Giorgio
Journal:: Mathematical logic quarterly
Issue:: Volume 63:Issue 3/4(2017)
Page Start:: 289
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. A fixed point theory over stratified truth. Issue 4 (15th January 2021)

Authors:: Cantini, Andrea
Journal:: Mathematical logic quarterly
Issue:: Volume 66:Issue 4(2020)
Page Start:: 380
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

9. A game‐theoretic proof of Shelah's theorem on labeled trees. Issue 2 (16th June 2020)

Authors:: Wilson, Trevor M.
Journal:: Mathematical logic quarterly
Issue:: Volume 66:Issue 2(2020)
Page Start:: 190
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

10. A Groszek‐Laver pair of undistinguishable E0‐classes. Issue 1 (31st March 2017)

Authors:: Golshani, Mohammad; Kanovei, Vladimir; Lyubetsky, Vassily
Journal:: Mathematical logic quarterly
Issue:: Volume 63:Issue 1/2(2017)
Page Start:: 19
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗