adrian_pigors's pra [12 articles] Export

Recent papers added to adrian_pigors's library classified by the tag pra. You can also see everyone's pra.

	A version of the ∑1-reflection principle for CFA provable in PRA [My Copy] Archive for Mathematical Logic, Vol. 20, No. 1. (1 March 1980), pp. 27-40. by Peter Päppinghaus posted to _copy _dipl arithmetic pra by adrian_pigors on 2008-12-09 10:06:17 as
	What can be done with PRA? [My Copy] Journal of Mathematical Sciences, Vol. 14, No. 5. (1 November 1980), pp. 1487-1492. by G. E. Mints posted to _copy _dipl arithmetic pra by adrian_pigors on 2008-12-09 10:01:45 as
	A Note on the Recursive Unsolvability of Primitive Recursive Arithmetic [My Copy] Proceedings of the American Mathematical Society, Vol. 17, No. 1. (1966), pp. 146-147. by Richard E. Grandy posted to _copy _dipl arithmetic pra by adrian_pigors on 2008-12-09 09:58:29 as
	On the equivalence between logic-free and logic-bearing systems of primitive recursive arithmetic [My Copy] Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 33, No. 3. (1987), pp. 245-253. by Daniel G. Schwartz posted to _copy _dipl arithmetic pra by adrian_pigors on 2008-12-09 09:53:01 as
	A free-variable theory of primitive recursive arithmetic [My Copy] Z. Math. Logik Grundlag. Math., Vol. 33, No. 2. (1987), pp. 147-157. by Daniel G. Schwartz posted to _copy _dipl arithmetic pra by adrian_pigors on 2008-12-09 09:39:50 as
	Provable equality in primitive recursive arithmetic with and without induction [My Copy] Pacific J. Math., Vol. 57, No. 2. (1975), pp. 379-392. by Harvey Friedman posted to _copy _dipl arithmetic pra by adrian_pigors on 2008-12-09 09:35:19 as
	Finitism [My Copy] The Journal of Philosophy, Vol. 78, No. 9. (1981), pp. 524-546. by W. W. Tait posted to _copy _dipl finitism hilbert pra by adrian_pigors on 2008-12-08 15:20:12 as
	Remarks on finitism [My Copy] In Reflections on the foundations of mathematics (Stanford, CA, 1998), Vol. 15 (2002), pp. 410-419. by W. W. Tait posted to _copy dipl finitism pra by adrian_pigors on 2008-08-12 11:26:33 as
	Fragments of arithmetic [My Copy] Ann. Pure Appl. Logic, Vol. 28, No. 1. (1985), pp. 33-71. by Wilfried Sieg posted to arithmetic _copy _dipl pra proof_theory by adrian_pigors on 2008-04-30 09:37:26 as
	PRA provability of Schmerl's fine structure theorem [My Copy] Rend. Sem. Mat. Univ. Politec. Torino, Vol. 42, No. 2. (1984), pp. 87-106 (1985). by Franco Parlamento posted to _copy _dipl pra proof_theory provability reflection by adrian_pigors on 2008-04-29 10:21:57 as
	A fine structure generated by reflection formulas over primitive recursive arithmetic [My Copy] In Logic Colloquium '78 (Mons, 1978), Vol. 97 (1979), pp. 335-350. by Ulf R. Schmerl posted to _copy _dipl pra proof_theory provability reflection by adrian_pigors on 2008-04-29 10:15:13 as
	Logics for termination and correctness of functional programs. II. Logics of strength PRA [My Copy] In Proof theory (Leeds, 1990) (1992), pp. 195-225. by Solomon Feferman posted to _copy pra proof_theory by adrian_pigors on 2008-02-22 12:01:24 as

Note: You may cite this page as: http://www.citeulike.org/user/adrian_pigors/tag/pra

_copy	169
category_theory	30
lattice	29
_dipl	26
_priv	26
logic	24
topology	18
modal_logic	17
order_theory	17
proof_theory	17
duality	15
arithmetic	13
fca	13
pra	12
semantics	12
frame_	11
kripke	11
substructural_logics	11
canonical_extension	10
frame	10
paraconsistent_logic	10
galois_connection	9
goedel	9
locale	9
negation	9
provability	9
reflection	9
relation	9
representation	9
residuation	9
complete_lattice	8
completion	8
consistency	8
distributivity	8
incompleteness	8
adjunction	7
enriched_category	7
pointfree	7
prime_ideal	7
bao	6
bicategory	6
foundation	6
morphism	6
pseudocomplement	6
ac	5
categorical_logic	5
closure_space	5
closure_system	5
interpretability	5
linear_logic	5
nucleus	5
set_theory	5
stone	5
tensor_product	5
chu_space	4
continuous_lattice	4
institution	4
ordinal	4
poset	4
quantale	4
self-reference	4
display_logic	3
gaggle	3
macneille	3
modal_operator	3
quantaloid	3
scattered	3
algebraic_logic	2
arithmetization	2
_bib	2
cartesian_closed_category	2
chu_transform	2
closure_operator	2
coalgebra	2
completely_distributive	2
cut	2
cut_elimination	2
description_logics	2
diagonalization	2
finitism	2
g-ideal	2
heyting_algebra	2
hilbert	2
information_flow	2
karoubian_envelope	2
model_theory	2
mv-algebra	2
p-algebra	2
polarity	2
preconcept	2
quantum_logic	2
semigroup	2
topos	2
turing	2
_vme	2
axiality	1
bisimulation	1
cardinal	1
combinatorics	1
complement	1
computer_science	1
congruence	1
constructive	1
contextual_logic	1
continuity	1
cut-continuous	1
data_mining	1
dedekind	1
dipl	1
distance	1
equational_theory	1
equivalence	1
game_theory	1
g-relation	1
ideal	1
implication	1
infinity	1
infomorphism	1
intuitionistic_logic	1
monad	1
nonclassical_logic	1
ontology	1
orthomodular_lattice	1
paradox	1
prequantale	1
prime	1
profinite_completion	1
recursion_theory	1
semantic_web	1
sheaf	1
term_rewriting	1
variety	1

adrian_pigors's pra [12 articles] Export

adrian_pigors's tags