X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (1768) 1768
Publication (184) 184
Book / eBook (127) 127
Conference Proceeding (99) 99
Book Chapter (92) 92
Paper (18) 18
Magazine Article (10) 10
Newspaper Article (9) 9
Book Review (8) 8
Dissertation (5) 5
Web Resource (3) 3
Government Document (2) 2
Trade Publication Article (2) 2
Report (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
mathematics (429) 429
constructive mathematics (230) 230
logic (227) 227
analysis (200) 200
algorithms (194) 194
computer science (179) 179
mathematics, applied (175) 175
computer science, theory & methods (150) 150
philosophy (149) 149
constructive empiricism (138) 138
studies (136) 136
humans (97) 97
mathematical models (88) 88
index medicus (86) 86
management (86) 86
research (84) 84
computer science, artificial intelligence (83) 83
constructive conflict (79) 79
constructive field theory (79) 79
construction (75) 75
quantum field theory (75) 75
epistemology (74) 74
algebra (72) 72
constructive alignment (72) 72
constructive (71) 71
field theories (71) 71
history & philosophy of science (71) 71
artificial intelligence (70) 70
philosophy of science (69) 69
mathematical logic (64) 64
mathematical analysis (63) 63
empiricism (61) 61
lattice field theory (58) 58
mathematical logic and foundations (57) 57
learning (56) 56
models (55) 55
theoretical computer science (52) 52
methods (51) 51
constructive solid geometry (49) 49
design (48) 48
mathematical theorems (48) 48
mathematics, general (48) 48
computer science, software engineering (47) 47
constructivism (47) 47
metaphysics (47) 47
science (47) 47
theory (47) 47
constructive set theory (46) 46
economics (46) 46
optimization (45) 45
physics (45) 45
conflict management (44) 44
model (44) 44
psychology (44) 44
fermions (42) 42
neural networks (42) 42
semantics (42) 42
constructive design (41) 41
communication (40) 40
education (40) 40
mathematical functions (40) 40
computer science, interdisciplinary applications (39) 39
foreign countries (39) 39
high energy physics (39) 39
constructive proof (38) 38
education & educational research (38) 38
engineering (38) 38
higher education (38) 38
topology (38) 38
conflict (37) 37
ethics (37) 37
high energy physics - lattice (37) 37
lattice (37) 37
theorem (37) 37
algorithm (36) 36
approximation (36) 36
behavior (36) 36
computability (36) 36
electronic books (36) 36
memory (36) 36
phenomenology (36) 36
logical theorems (35) 35
neurosciences (35) 35
theory of computation (35) 35
axioms (34) 34
female (34) 34
philosophy of language (34) 34
male (33) 33
performance (33) 33
constructive logic (32) 32
elementary particles (32) 32
empirical adequacy (32) 32
operations research & management science (32) 32
quantum chromodynamics (32) 32
simulation (32) 32
systems (32) 32
theorems (32) 32
truth (32) 32
constructive approach (31) 31
engineering, electrical & electronic (31) 31
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Engineering & Comp. Sci. - Stacks (39) 39
Gerstein Science - Stacks (31) 31
Mathematical Sciences - Stacks (30) 30
Collection Dvlpm't (Acquisitions) - Vendor file (14) 14
Architecture Landscape (Shore + Moffat) - Stacks (12) 12
UTL at Downsview - May be requested (12) 12
UofT at Mississauga - Stacks (10) 10
Robarts - Stacks (8) 8
Collection Dvlpm't (Acquisitions) - Closed Orders (6) 6
Online Resources - Online (5) 5
Trinity College (John W Graham) - Stacks (5) 5
UofT at Scarborough - Stacks (4) 4
OISE - Stacks (2) 2
Victoria University Emmanuel College - Stacks (2) 2
Architecture Landscape (Shore + Moffat) - Circulation Desk (1) 1
Architecture Landscape (Shore + Moffat) - Reference (1) 1
Engineering & Comp. Sci. - Missing (1) 1
Engineering & Comp. Sci. - Searching (1) 1
Knox College (Caven) - Stacks (1) 1
Law (Bora Laskin) - Stacks (1) 1
St. Michael's College (John M. Kelly) - 3rd Floor (1) 1
University College (Laidlaw) - Stacks (1) 1
UofT at Mississauga - May be requested in 6-10 wks (1) 1
Victoria University E.J. Pratt - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (2060) 2060
French (16) 16
German (15) 15
Japanese (9) 9
Portuguese (6) 6
Spanish (5) 5
Czech (3) 3
Korean (3) 3
Arabic (2) 2
Russian (2) 2
Afrikaans (1) 1
Chinese (1) 1
Hungarian (1) 1
Indonesian (1) 1
Ndonga (1) 1
Polish (1) 1
Turkish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Annals of Pure and Applied Logic, ISSN 0168-0072, 04/2013, Volume 164, Issue 4, pp. 396 - 415
The aim of this paper is to formulate and study two weak axiom systems for the conceptual framework of constructive set theory (CST). Arithmetical CST is just... 
Constructive set theory | Rudimentary functions | Arithmetic | MATHEMATICS | MATHEMATICS, APPLIED | LOGIC
Journal Article
Outstanding Contributions to Logic, ISSN 2211-2758, 2017, Volume 13, pp. 491 - 523
Journal Article
2011, ISBN 1420093649, xxv, 893
Book
Theoretical Computer Science, ISSN 0304-3975, 04/2011, Volume 412, Issue 20, pp. 1916 - 1940
One of the main goals of this paper is to give a construction of realizability models for predicative constructive set theories in a predicative metatheory. We... 
Categorical logic | Constructive set theory | Realizability | EFFECTIVE TOPOS | COMPUTER SCIENCE, THEORY & METHODS | Construction | Algebra | Maps | Axioms | Categories | Set theory | Mathematical models | Assemblies
Journal Article
2016, Lecture notes in logic, ISBN 131671831X, Volume 3
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original... 
Constructive mathematics | Set theory
Web Resource
2016, Lecture Notes in Logic, ISBN 9781316768174, Volume 3
Web Resource
Annals of Pure and Applied Logic, ISSN 0168-0072, 10/2012, Volume 163, Issue 10, pp. 1367 - 1383
We show how one may establish proof-theoretic results for constructive Zermelo–Fraenkel set theory, such as the compactness rule for Cantor space and the Bar... 
Derived rules | Sheaves | Baire space | Constructive set theory | TOPOLOGY | MATHEMATICS | MATHEMATICS, APPLIED | EXACT COMPLETION | LOGIC
Journal Article
Annals of Pure and Applied Logic, ISSN 0168-0072, 02/2014, Volume 165, Issue 2, pp. 563 - 572
In recent years the question of whether adding the limited principle of omniscience, , to constructive Zermelo–Fraenkel set theory, , increases its strength... 
Constructive set theory | Proof-theoretic strength | Limited principle of omniscience | Bar induction | Secondary | Primary | MATHEMATICS | MATHEMATICS, APPLIED | LOGIC
Journal Article
Annals of Pure and Applied Logic, ISSN 0168-0072, 2012, Volume 163, Issue 2, pp. 175 - 184
This article presents a common generalization of the two main methods for obtaining class models of constructive set theory. Heyting models are a... 
Formal topology | Pca’s | Constructive set theory | Heyting models | CZF | Realizability | Pca's | MATHEMATICS | MATHEMATICS, APPLIED | LOGIC
Journal Article
Annals of Pure and Applied Logic, ISSN 0168-0072, 12/2013, Volume 164, Issue 12, pp. 1274 - 1292
The paper aims to provide precise proof theoretic characterizations of Myhill–Friedman-style “weak” constructive extensional set theories and Aczel–Rathjen... 
Set theory | Proof theory | Constructive mathematics | Classical and intuitionistic mathematical logic | MATHEMATICS | MATHEMATICS, APPLIED | LOGIC
Journal Article
Annals of Pure and Applied Logic, ISSN 0168-0072, 12/2007, Volume 150, Issue 1-3, pp. 19 - 39
We study OST and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting... 
Operational set theory | Proof theory | Classical and constructive set theories | Explicit mathematics | MATHEMATICS | MATHEMATICS, APPLIED | OPERATOR | operational set theory | explicit mathematics | classical and constructive set theories | proof theory
Journal Article
Annals of Pure and Applied Logic, ISSN 0168-0072, 2006, Volume 137, Issue 1, pp. 3 - 29
Working in constructive set theory we formulate notions of constructive topological space and set-generated locale so as to get a good constructive general... 
Formal topology | Locale | Constructive set theory | Constructive mathematics | General topology | MATHEMATICS | general topology | MATHEMATICS, APPLIED | constructive mathematics | constructive set theory | locale | POINTS | LOGIC | formal topology
Journal Article
Journal of Mathematical Logic, ISSN 0219-0613, 2014, Volume 14, Issue 1, pp. 1450005 - 1-1450005-28
We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a choice principle, and show that this extension has the... 
sheaves | Constructive set theory | algebraic set theory | realizability | MATHEMATICS | LOGIC | Construction standards | Construction | Theorems | Algebra | Axioms | Mathematical logic | Set theory | Mathematical models
Journal Article
Annals of Pure and Applied Logic, ISSN 0168-0072, 10/2012, Volume 163, Issue 10, pp. 1419 - 1436
We define a to be a locally cartesian closed pretopos. The terminology is supported by the fact that constructive toposes enjoy a relationship with... 
Categorical logic | Sheaves | Constructive set theory | MATHEMATICS | MATHEMATICS, APPLIED | LOGIC
Journal Article
Annals of Pure and Applied Logic, ISSN 0168-0072, 2006, Volume 137, Issue 1, pp. 164 - 188
We define and investigate Heyting-valued interpretations for Constructive Zermelo–Frankel set theory (CZF). These interpretations provide models for CZF that... 
Formal topology | Heyting algebra | Frame | Constructive set theory | Heyting-valued models | Pointfree topology | TOPOLOGY | MATHEMATICS | MATHEMATICS, APPLIED | pointfree topology | constructive set theory | LOGIC | formal topology | frame
Journal Article
Journal of Symbolic Logic, ISSN 0022-4812, 09/2018, Volume 83, Issue 3, pp. 1132 - 1146
We give a model of set theory based on multisets in homotopy type theory. The equality of the model is the identity type. The underlying type of iterative sets... 
W-types | phrasesconstructive set theory | type theory | homotopy type theory | higher inductive types | multisets | MATHEMATICS | constructive set theory | LOGIC
Journal Article
Annals of Pure and Applied Logic, ISSN 0168-0072, 2008, Volume 156, Issue 1, pp. 123 - 159
This is the first in a series of papers on Predicative Algebraic Set Theory, where we lay the necessary groundwork for the subsequent parts, one on... 
Categorical logic | Constructive set theory | Exact completion | MATHEMATICS | TOPOSES | CHOICE | MATHEMATICS, APPLIED | MODELS | CATEGORIES | AXIOM | LOGIC
Journal Article
Mathematical Logic Quarterly, ISSN 0942-5616, 02/2008, Volume 54, Issue 1, pp. 83 - 97
Constructive set theory started with Myhill's seminal 1975 article [8]. This paper will be concerned with axiomatizations of the natural numbers in... 
functional interpretation | Constructive set theory | proof‐theoretic strength | recursively saturated models | natural number object | Proof-theoretic strength | Recursively saturated models | Natural number object | Functional interpretation | MATHEMATICS | constructive set theory | proof-theoretic strength
Journal Article
Annals of Pure and Applied Logic, ISSN 0168-0072, 2006, Volume 141, Issue 1, pp. 257 - 265
The standard construction of quotient spaces in topology uses full separation and power sets. We show how to make this construction using only the... 
Constructive topology | Constructive set theory | Martin-Löf type theory | Quotient spaces | MATHEMATICS | MATHEMATICS, APPLIED | constructive set theory | STRENGTH | quotient spaces | constructive topology | Martin-Lof type theory
Journal Article
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, ISSN 0948-695X, 2005, Volume 11, Issue 12, pp. 2008 - 2033
The paper furnishes realizability models of constructive Zermelo-Fraenkel set theory, CZF, which also validate Brouwerian principles such as the axiom of... 
COMPUTER SCIENCE, SOFTWARE ENGINEERING | Brouwerian principles | constructive set theory | COMPUTER SCIENCE, THEORY & METHODS | partial combinatory algebra | realizability
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.