Results 31 to 40 of about 5,644 (162)
Reverse mathematics and well-ordering principles [PDF]
, 2011 The paper is concerned with generally Pi^1_2 sentences of the form 'if X is well ordered then f(X) is well ordered', where f is a standard proof theoretic function from ordinals to ordinals.
Rathjen, Michael, Weiermann, Andreas
core +1 more source
Anti-Realism and Infinitary Proofs
Análisis Filosófico, 2012 In the discussion about Yablo’s Paradox, a debated topic is the status of infinitary proofs. It is usually considered that, although a realist could (with some effort) accept them, an anti-realist could not do it at all.
Diego Tajer
doaj +1 more source
Infinitary $\lambda$-Calculi from a Linear Perspective (Long Version) [PDF]
, 2016 We introduce a linear infinitary $\lambda$-calculus, called $\ell\Lambda_{\infty}$, in which two exponential modalities are available, the first one being the usual, finitary one, the other being the only construct interpreted coinductively. The obtained
Lago, Ugo Dal
core +4 more sources
Cut-elimination for the mu-calculus with one variable [PDF]
, 2012 We establish syntactic cut-elimination for the one-variable fragment of the modal mu-calculus. Our method is based on a recent cut-elimination technique by Mints that makes use of Buchholz' Omega-rule.Comment: In Proceedings FICS 2012, arXiv:1202 ...
Alwen Tiu +16 more
core +5 more sources
Ernst Zermelo's Project of Infinitary Logic [PDF]
, 2007 This paper is a summary of a more comprehensive work Infinitarna Logika Ernsta Zermela (The Infinitary Logic of Ernst Zermelo) being currently under preparation for the research grant KBN 2H01A 00725 Metody nieskończonościowe w teorii definicji ...
Pogonowski, Jerzy
core +2 more sources
Lietuvos Matematikos Rinkinys, 2013 We consider three sequent calculi for propositional linear temporal logic (PLTL) which allow us to formalize the properties of operator “always”. The main new results presented in the paper are: (1) introduction of the calculus with looping axioms; (2 ...
Romas Alonderis +1 more
doaj +1 more source
Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals [PDF]
, 2009 We describe the basic theory of infinite time Turing machines and some recent developments, including the infinite time degree theory, infinite time complexity theory, and infinite time computable model theory. We focus particularly on the application of
Coskey, Samuel, Hamkins, Joel David
core +1 more source
Infinitary Combinatory Reduction Systems: Confluence [PDF]
, 2009 We study confluence in the setting of higher-order infinitary rewriting, in particular for infinitary Combinatory Reduction Systems (iCRSs). We prove that fully-extended, orthogonal iCRSs are confluent modulo identification of hypercollapsing subterms ...
Henk Barendregt +2 more
core +5 more sources
Analytic Philosophy, EarlyView.ABSTRACT Laws play some role in explanations: at the very least, they somehow connect what is explained, or the explanandum, to what explains, or the explanans. Thus, thermodynamical laws connect the match's being struck and its lightning, so that the former causes the latter; and laws about set formation connect Socrates' existence with {Socrates}'s ...
Julio De Rizzo
wiley +1 more source
Informal proof, formal proof, formalism [PDF]
, 2015 Increases in the use of automated theorem-provers have renewed focus on the relationship between the informal proofs normally found in mathematical research and fully formalised derivations.
Weir, Alan
core +1 more source