Variations on Noetherianness

MaRDI QIDQ5013829zbMATH OpenFDO

Authors Denis Firsov, Tarmo Uustalu, Niccolò Veltri

Publication date 2 December 2021

Full work available at URL https://arxiv.org/abs/1604.01186, http://eptcs.web.cse.unsw.edu.au/paper.cgi?MSFP2016.4

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 5994597
• scientific article; zbMATH DE number 4210137
• scientific article; zbMATH DE number 970524
• On streams that are finitely red
• The Ascending Tree Condition: Constructive Algebra Without Countable Choice

Cites work

• Dependently typed programming in Agda
• Extensional constructs in intensional type theory
• scientific article; zbMATH DE number 5757682 (Why is no real title available?)
• Investigating streamless sets
• On streams that are finitely red
• Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics
• Stop when you are almost-full. Adventures in constructive termination

Cited in

(3)

• On streams that are finitely red
• scientific article; zbMATH DE number 5619560 (Why is no real title available?)
• Finiteness and rational sequences, constructively

Describes a project that uses

Uses Software

• Agda

This page was built for publication: Variations on Noetherianness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5013829)