Funder
Marietta Blau Grant sponsored by the Austrian Federal Ministry of Science and Research
Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference34 articles.
1. Ahlbrandt, G., & Ziegler, M. (1986). Quasi-finitely axiomatizable totally categorical theories. Annals of Pure and Applied Logic, 30, 63–83.
2. Andréka, H., Madarász, J., & Németi, I. (2008). Defining new universes in many-sorted logic (manuscript).
3. Awodey, S. (1997). Logic in Topoi: Functorial semantics for higher-order logic. Ph.D. Dissertation, Chicago.
4. Balzer, W., Moulines, U., & Sneed, J. (1987). An architectonic for science: The structuralist program. Dordrecht: Springer.
5. Barrett, T., & Halvorson, H. (2016). Morita equivalence. The Review of Symbolic Logic, 9(3), 556–582.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献