Search results
The page ""Arch. Math. Logic" journal" does not exist. You can create a draft and submit it for review or request that a redirect be created, but consider checking the search results below to see whether the topic is already covered.
- Archive for Mathematical Logic (redirect from Arch Math Logic)mathematics journal published by Springer Science+Business Media. It was established in 1950 and publishes articles on mathematical logic. The journal is abstracted...2 KB (80 words) - 04:06, 3 May 2024
- Michael (1990), "Ordinal notations based on a weakly Mahlo cardinal.", Arch. Math. Logic, 29 (4): 249–263, doi:10.1007/BF01651328, MR 1062729, S2CID 14125063...50 KB (4,805 words) - 04:04, 17 September 2024
- (Arch. Math. Logic) Rathjen, 1994 (Ann. Pure Appl. Logic) T. Arai, A simplified analysis of first-order reflection (2015). Rathjen, 2005 (Arch. Math....68 KB (12,608 words) - 20:29, 18 September 2024
- and Heyting arithmetic, https://doi.org/10.1007/s00153-024-00935-4, Arch. Math. Logic (2024) Gambino, N. (2005). "Presheaf models for constructive set theories"...212 KB (35,008 words) - 11:58, 30 August 2024