المؤلفون: Blomet, Quentin, Égré, Paul

مصطلحات موضوعية: Mathematics - Logic, 03B50, 03B47

URL الوصول: http://arxiv.org/abs/2401.03436

المؤلفون: Cobreros, Pablo, Egré, Paul, Ripley, David, van Rooij, Robert

مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, 03B52, 03B50, 03B47

URL الوصول: http://arxiv.org/abs/2207.12786

المؤلفون: Wang, SanMin

مصطلحات موضوعية: Mathematics - Logic, 03B52, 06F99, 03B50, 03B47

URL الوصول: http://arxiv.org/abs/1608.04029

المؤلفون: Greenhoe, Daniel J.

مصطلحات موضوعية: Mathematics - Logic, Mathematics - Commutative Algebra, Mathematics - Rings and Algebras, primary: 03B52, 03B50, 03B47, secondary: 03B60, 03G05, 03G10

URL الوصول: http://arxiv.org/abs/1409.4222

المؤلفون: Bianchi, Matteo

مصطلحات موضوعية: Mathematics - Logic, 03B50, 03B47, 03G10, 03G25, 06D75

URL الوصول: http://arxiv.org/abs/1205.4625

مصطلحات الفهرس: Mathematics - Logic, Computer Science - Logic in Computer Science, 03B52, 03B50, 03B47, text

URL: http://arxiv.org/abs/2207.12786