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?)

Recommendations

• scientific article; zbMATH DE number 7147442
• 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
• Church's thesis and its epistemological status
• scientific article; zbMATH DE number 1004209
• Curry's formalism as structuralism
• Formalizing Church's thesis
• The status of Church's thesis

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

Cited In (3)

• Title not available (Why is that?)
• Facets of Synthesis: Revisiting Church’s Problem
• Title not available (Why is that?)

Uses Software

• Coq

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)