scientific article; zbMATH DE number 7204449

DOI10.4230/LIPICS.FSCD.2017.30zbMATH Open1434.03104MaRDI QIDQ5111328FDOQ5111328

Colin Riba, Pierre Pradic

Publication date: 26 May 2020

Title of this publication is not available (Why is that?)

zbMATH Keywords

realizabilityintuitionistic arithmeticmonadic second-order logic on infinite words

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Higher-order logic (03B16) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automata, logics, and infinite games. A guide to current research
• Synthesis of Reactive(1) designs
• Testing and generating infinite sequences by a finite automaton
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Coalgebraic Logic and Synthesis of Mealy Machines
• A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words

Cited In (1)

• Title not available (Why is that?)

Uses Software

• Coq

   Recommendations

• Title not available (Why is that?) 👍 👎
• Facets of Synthesis: Revisiting Church’s Problem 👍 👎
• Reflections on Church's thesis 👍 👎
• Church's thesis as formulated by Church -- an interpretation 👍 👎
• Church's thesis and Bishop's constructivism 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Curry's formalism as structuralism 👍 👎
• Formalizing Church's thesis 👍 👎
• The status of Church's thesis 👍 👎

This page was built for publication:

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