adrian_pigors's Lawvere:WF [7 articles] Export

Recent papers posted to adrian_pigors's library by the author Lawvere:WF. You can also see everyone's Lawvere:WF.

	Foundations and applications: axiomatization and education [My Copy] Bull. Symbolic Logic, Vol. 9, No. 2. (2003), pp. 213-224. by William F. Lawvere posted to category_theory _copy foundation set_theory by adrian_pigors on 2007-10-09 11:02:58 as
	Continuously variable sets; algebraic geometry=geometric logic [My Copy] In Logic Colloquium '73 (Bristol, 1973) (1975), pp. 135-156. Studies in Logic and the Foundations of Math., Vol. 80. by William F. Lawvere posted to category_theory _copy logic topos by adrian_pigors on 2007-10-09 10:48:38 as
	The category of categories as a foundation for mathematics [My Copy] In Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965) (1966), pp. 1-20. by William F. Lawvere posted to category_theory _copy foundation logic by adrian_pigors on 2007-10-09 10:43:46 as
	Diagonal arguments and Cartesian closed categories [My Copy] Repr. Theory Appl. Categ., No. 15. (2006), pp. 1-13 (electronic). by William F. Lawvere posted to cartesian_closed_category category_theory _copy diagonalization goedel incompleteness by adrian_pigors on 2007-10-09 10:36:19 as
	Adjointness in foundations [My Copy] Repr. Theory Appl. Categ., No. 16. (2006), pp. 1-16 (electronic). by William F. Lawvere posted to adjunction cartesian_closed_category category_theory _copy logic by adrian_pigors on 2007-10-09 10:28:35 as
	Taking categories seriously [My Copy] Repr. Theory Appl. Categ., No. 8. (2005), pp. 1-24 (electronic). by William F. Lawvere posted to category_theory _copy enriched_category by adrian_pigors on 2007-10-09 10:19:12 as along with 1 person christiankissig
	Metric spaces, generalized logic, and closed categories [Rend. Sem. Mat. Fis. Milano 43 (1973), 135--166 (1974); MR0352214 (50 \#4701)] [My Copy] Repr. Theory Appl. Categ., No. 1. (2002), pp. 1-37 (electronic). by William F. Lawvere posted to category_theory _copy enriched_category logic by adrian_pigors on 2007-10-09 10:08:07 as

Note: You may cite this page as: http://www.citeulike.org/user/adrian_pigors/author/Lawvere:WF

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

_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 Lawvere:WF [7 articles] Export

adrian_pigors's tags