Showing
1 - 2
results of
2
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - HENDTLASS, MATT
Search Results - HENDTLASS, MATT
Showing
1 - 2
results of
2
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
SEPARATING FRAGMENTS OF WLEM, LPO, AND MP
by
HENDTLASS, MATT
,
LUBARSKY, ROBERT
Published in
The Journal of symbolic logic
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
Reverse mathematics, well-quasi-orders, and Noetherian spaces
by
Frittaion, Emanuele
,
Hendtlass, Matt
,
Marcone, Alberto
,
Shafer, Paul
,
Jeroen Van der Meeren
Published in
arXiv.org
Get full text
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
1 results
1
Full Text
2 results
2
Format
Articles
2 results
2
Journal Title
Arxiv.org
1 results
1
The Journal Of Symbolic Logic
1 results
1
Subjects
Kripke Models
1 results
1
Kripke, Saul
1 results
1
Law
1 results
1
Logic
1 results
1
Markov’s Principle
1 results
1
Mathematical Analysis
1 results
1
Mathematics
1 results
1
Mathematics - Logic
1 results
1
New Testament
1 results
1
Nonstandard Models
1 results
1
Omniscience Principles
1 results
1
Physical Sciences
1 results
1
Science & Technology
1 results
1
Science & Technology - Other Topics
1 results
1
Sequences
1 results
1
Theorems
1 results
1
Topological Models
1 results
1
Topology
1 results
1
Weak Lem
1 results
1
Weak Markov’s Principle
1 results
1
Year of Publication
From:
To:
Source
Cambridge University Press
1 results
1
Open Access: Freely Accessible Journals By Multiple Vendors
1 results
1
Cup 剑桥大学出版社过刊(国图购买)
1 results
1
Jstor Archival Journals And Primary Sources Collection
1 results
1
Road: Directory Of Open Access Scholarly Resources
1 results
1
Publicly Available Content (Proquest)
1 results
1
Project Euclid
1 results
1